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