예제 #1
0
    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)
예제 #2
0
    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)
예제 #3
0
    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)