def on_preferences(self, widget = None): """显示属性对话框""" dialog = PreferencesDialog(self) #还要从 css 中读取属性 file_object = open(os.environ['HOME']+"/.local/share/bedit/gtk-widgets3.css") try: text = file_object.read() # 将 css 文本交给对话框处理 dialog.set_css(text) finally: file_object.close() #写入其他内容 dialog.set_historyListRange(self.historyListRange) dialog.set_line_number(self.showLineNumber) dialog.setAutoSave(self.autoSave) response = dialog.run() file_object = open(os.environ['HOME']+"/.local/share/bedit/gtk-widgets3.css","w") try: file_object.write(dialog.get_css()) finally: file_object.close() #读取内容 self.historyListRange = dialog.get_historyListRange() self.showLineNumber = dialog.get_line_number() self.autoSave = dialog.getAutoSave() for i in range(1,self.notebook.get_n_pages()): self.notebook.get_nth_page(i).get_child().set_show_line_numbers(self.showLineNumber) dialog.destroy() #更新样式 self.set_style()