131 Preferences.setEditorExporter("PDF/Magnification", |
131 Preferences.setEditorExporter("PDF/Magnification", |
132 self.pdfMagnificationSlider.value()) |
132 self.pdfMagnificationSlider.value()) |
133 Preferences.setEditorExporter("PDF/Font", |
133 Preferences.setEditorExporter("PDF/Font", |
134 self.pdfFontCombo.itemData(self.pdfFontCombo.currentIndex())) |
134 self.pdfFontCombo.itemData(self.pdfFontCombo.currentIndex())) |
135 Preferences.setEditorExporter("PDF/PageSize", |
135 Preferences.setEditorExporter("PDF/PageSize", |
136 self.pdfPageSizeCombo.itemData(self.pdfPageSizeCombo.currentIndex())) |
136 self.pdfPageSizeCombo.itemData( |
|
137 self.pdfPageSizeCombo.currentIndex())) |
137 Preferences.setEditorExporter("PDF/MarginTop", |
138 Preferences.setEditorExporter("PDF/MarginTop", |
138 self.pdfMarginTopSpin.value()) |
139 self.pdfMarginTopSpin.value()) |
139 Preferences.setEditorExporter("PDF/MarginBottom", |
140 Preferences.setEditorExporter("PDF/MarginBottom", |
140 self.pdfMarginBottomSpin.value()) |
141 self.pdfMarginBottomSpin.value()) |
141 Preferences.setEditorExporter("PDF/MarginLeft", |
142 Preferences.setEditorExporter("PDF/MarginLeft", |