35 ) |
35 ) |
36 self.recentFilesSpinBox.setValue(Preferences.getPdfViewer("RecentNumber")) |
36 self.recentFilesSpinBox.setValue(Preferences.getPdfViewer("RecentNumber")) |
37 |
37 |
38 def save(self): |
38 def save(self): |
39 """ |
39 """ |
40 Public slot to save the IRC configuration. |
40 Public slot to save the PdfViewer configuration. |
41 """ |
41 """ |
42 Preferences.setPdfViewer( |
42 Preferences.setPdfViewer( |
43 "PdfSearchContextLength", self.contextLengthSpinBox.value() |
43 "PdfSearchContextLength", self.contextLengthSpinBox.value() |
44 ) |
44 ) |
45 Preferences.setPdfViewer( |
45 Preferences.setPdfViewer( |