diff -r bf5ae5d7477d -r befeff46ec0f Preferences/ConfigurationPages/EditorExportersPage.py --- a/Preferences/ConfigurationPages/EditorExportersPage.py Sat Oct 12 17:31:40 2013 +0200 +++ b/Preferences/ConfigurationPages/EditorExportersPage.py Sat Oct 12 18:25:29 2013 +0200 @@ -131,7 +131,8 @@ Preferences.setEditorExporter("PDF/Font", self.pdfFontCombo.itemData(self.pdfFontCombo.currentIndex())) Preferences.setEditorExporter("PDF/PageSize", - self.pdfPageSizeCombo.itemData(self.pdfPageSizeCombo.currentIndex())) + self.pdfPageSizeCombo.itemData( + self.pdfPageSizeCombo.currentIndex())) Preferences.setEditorExporter("PDF/MarginTop", self.pdfMarginTopSpin.value()) Preferences.setEditorExporter("PDF/MarginBottom",