def __init__(self, action_group): gtksourceview.SourceView.__init__(self) self.set_auto_indent(True) self.set_show_line_numbers(True) self.set_show_line_markers(True) self.set_tabs_width(4) self.set_margin(80) self.set_show_margin(True) self.set_smart_home_end(True) self.set_highlight_current_line(True) self.set_insert_spaces_instead_of_tabs(True) font_desc = pango.FontDescription('monospace 10') if font_desc is not None: self.modify_font(font_desc) self.search_bar = SearchBar(self, action_group) self.replace_bar = ReplaceBar(self, self.search_bar, action_group) self.set_action_group(action_group) make_source_view_indentable(self)
def __init__(self): gtksourceview.SourceView.__init__(self) self.set_auto_indent(True) self.set_show_line_numbers(True) self.set_show_line_markers(True) self.set_tabs_width(4) self.set_margin(80) self.set_show_margin(True) self.set_smart_home_end(True) self.set_highlight_current_line(True) font_desc = pango.FontDescription('monospace 10') if font_desc is not None: self.modify_font(font_desc) show_find = gtk.ToggleAction("FindToggle", "Find...", "Finds a string in current document", gtk.STOCK_FIND) self.find_toggle = show_find self.find_fw = gtk.Action("FindForward", "Find next", "Finds the string forward", gtk.STOCK_FIND) self.find_bw = gtk.Action("FindBackwards", "Find back", "Finds the string backwards", gtk.STOCK_FIND) self.replace_fw = gtk.Action("ReplaceForward", "Replace next", "Replaces the string forward", gtk.STOCK_FIND_AND_REPLACE) self.replace_toggle = gtk.ToggleAction("ReplaceToggle", "Replace...", "Replaces the string forward", gtk.STOCK_FIND_AND_REPLACE) self.replace_all = gtk.Action("ReplaceAll", "Replace all", "Replaces all the occurrences", gtk.STOCK_FIND_AND_REPLACE) self.search_bar = SearchBar(self, self.find_fw, self.find_bw, show_find) actions = (self.find_toggle, self.replace_toggle, self.replace_fw, self.replace_all) self.replace_bar = ReplaceBar(self, self.search_bar, *actions) self.find_fw.connect("activate", self.on_find_forward) self.find_bw.connect("activate", self.on_find_backwards)
def __init__(self, action_group): gtksourceview.SourceView.__init__(self) self.set_auto_indent(True) self.set_show_line_numbers(True) self.set_show_line_markers(True) self.set_tabs_width(4) self.set_margin(80) self.set_show_margin(True) self.set_smart_home_end(True) self.set_highlight_current_line(True) font_desc = pango.FontDescription('monospace 10') if font_desc is not None: self.modify_font(font_desc) self.search_bar = SearchBar(self, action_group) self.replace_bar = ReplaceBar(self, self.search_bar, action_group) action_group.get_action(ACTION_FIND_FORWARD).connect( "activate", self.on_find_forward) action_group.get_action(ACTION_FIND_BACKWARD).connect( "activate", self.on_find_backwards)