def init(self, filename=None, action_group=None, background_color=None, font_color=None): self.widget.set_no_show_all(True) widget, editor = edit.create_widget(filename, action_group) editor.set_background_color(background_color) editor.set_font_color(font_color) self.__editor = editor widget.show() self.widget.add(widget)
def init(self, filename=None, action_group=None, background_color=None, font_color=None): self.widget.set_no_show_all(True) widget, editor = edit.create_widget(filename, action_group) editor.set_background_color(background_color) editor.set_font_color(font_color) self.__editor = editor self.buffer.connect('can-undo', self.cb_can_undo) self.buffer.connect('can-redo', self.cb_can_redo) widget.show() self.widget.add(widget)
def init(self, filename=None, action_group=None): self.widget.set_no_show_all(True) widget, editor = edit.create_widget(filename, action_group) self.__editor = editor widget.show() self.widget.add(widget)