Ejemplo n.º 1
0
    def __init__(self):
        Gtk.Plug.__init__(self)
        Gtk.Plug.construct(self, wid)

        lang_manager = GtkSource.LanguageManager()
        lang = lang_manager.guess_language(path)
        style_manager = GtkSource.StyleSchemeManager.get_default()
        style = style_manager.get_scheme("classic")

        f = open(path, "r", encoding=ENCODING, errors="replace")
        txt = f.read()
        f.close()

        self.srcbuf = GtkSource.Buffer()
        self.srcbuf.set_style_scheme(style)
        self.srcbuf.set_language(lang)
        self.srcbuf.set_text(txt)

        scroll = Gtk.ScrolledWindow()
        view = GtkSource.View.new_with_buffer(self.srcbuf)

        view.set_show_line_numbers(True)
        view.set_highlight_current_line(True)
        view.get_space_drawer().set_enable_matrix(True)
        view.set_editable(False)
        view.set_tab_width(8)
        #view.override_font(Pango.FontDescription('mono 12'))
        view.set_name("sourceview")

        cssprovider = Gtk.CssProvider()
        cssprovider.load_from_path(
            os.path.dirname(sys.argv[0]) + "/gtksourceview.css")
        Gtk.StyleContext.add_provider_for_screen(
            Gdk.Screen.get_default(), cssprovider,
            Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION)
        scroll.add(view)

        hbox = Gtk.Box(orientation=Gtk.Orientation.HORIZONTAL)
        self.lbl_search = Gtk.Label()
        button = Gtk.Button.new_with_label("Set text")
        button.connect("pressed", self.search_dialog)
        self.btn_case = Gtk.ToggleButton.new_with_label("Case sensitive")
        self.btn_case.connect("pressed", self.search_case)
        self.btn_regex = Gtk.ToggleButton.new_with_label("RegEx")
        self.btn_regex.connect("pressed", self.search_regex)
        hbox.pack_start(self.btn_case, False, True, 2)
        hbox.pack_start(self.btn_regex, False, True, 2)
        hbox.pack_start(button, False, True, 2)
        hbox.pack_end(self.lbl_search, True, True, 1)
        hbox.set_border_width(5)

        win = Gtk.Box(orientation=Gtk.Orientation.VERTICAL)
        win.pack_start(scroll, True, True, 1)
        win.pack_end(hbox, False, True, 1)

        self.sopts = GtkSource.SearchSettings()
        self.scontext = GtkSource.SearchContext(buffer=self.srcbuf,
                                                settings=self.sopts)

        self.add(win)
Ejemplo n.º 2
0
    def __init__(self):
        super().__init__()

        self.document = None

        self.buffer = GtkSource.Buffer()
        self.manager = GtkSource.LanguageManager()
        self.language = self.manager.get_language("markdown")
        self.buffer.set_language(self.language)
        self.buffer.create_tag('match', background="#66ff00")

        self.view = GtkSource.View()
        self.view.set_buffer(self.buffer)
        self.view.set_wrap_mode(Gtk.WrapMode.WORD)
        self.view.set_auto_indent(True)
        self.view.set_smart_home_end(True)
        self.view.set_insert_spaces_instead_of_tabs(True)
        self.view.set_tab_width(4)

        # self.view.set_pixels_above_lines(4)
        # self.view.set_pixels_below_lines(4)
        self.view.set_left_margin(8)
        self.view.set_right_margin(8)
        self.view.get_style_context().add_class('norka-editor')

        self.view.connect('key-release-event', self.on_key_release_event)

        self.scrolled = Gtk.ScrolledWindow(hexpand=True, vexpand=True)
        self.scrolled.add(self.view)

        # SearchBar
        self.search_bar = SearchBar()
        self.search_revealer = Gtk.Revealer()
        self.search_revealer.add(self.search_bar)
        self.search_bar.connect('find-changed', self.do_next_match)
        self.search_bar.connect('find-next', self.do_next_match)
        self.search_bar.connect('find-prev', self.do_previous_match)
        self.search_bar.connect('stop-search', self.do_stop_search)

        content_grid = Gtk.Box(orientation=Gtk.Orientation.VERTICAL, spacing=0)
        content_grid.pack_start(self.search_revealer, False, True, 0)
        content_grid.pack_start(self.scrolled, True, True, 0)
        content_grid.show_all()

        self.overlay = Gtk.Overlay()
        self.overlay.add(content_grid)
        self.stats_overlay = Granite.WidgetsOverlayBar.new(self.overlay)

        self.stats_handler = StatsHandler(overlay_bar=self.stats_overlay, buffer=self.buffer)
        self.stats_handler.update_default_stat()

        self.add(self.overlay)

        self.font_desc = Pango.FontDescription()
        self.spellchecker = GtkSpell.Checker()

        self.search_settings = GtkSource.SearchSettings(wrap_around=True)
        self.search_context = GtkSource.SearchContext(buffer=self.buffer, settings=self.search_settings)
        self.search_iter = None
Ejemplo n.º 3
0
    def __init__(self):
        GtkSource.Buffer.__init__(self)
        self.set_highlight_matching_brackets(False)

        self._search_mark = Gtk.TextMark()
        self.add_mark(self._search_mark, self.get_start_iter())
        self._search_context = GtkSource.SearchContext(buffer=self)
        self._search_context.set_highlight(False)

        self._search_settings = self._search_context.get_settings()
        self._search_settings.set_regex_enabled(True)
        self._search_settings.set_wrap_around(False)

        if not self.get_tag_table().lookup(self._invis_tag_name):
            self.create_tag(self._invis_tag_name, size=0, editable=False)
Ejemplo n.º 4
0
    def __init__(self):
        super().__init__()

        self.document = None

        self.view = Editor()

        self.scrolled = Gtk.ScrolledWindow(hexpand=True, vexpand=True)
        self.scrolled.get_style_context().add_class('scrolled-editor')
        self.scrolled.add(self.view)

        # SearchBar
        self.search_bar = SearchBar()
        self.search_revealer = Gtk.Revealer()
        self.search_revealer.add(self.search_bar)
        self.search_bar.connect('find-changed', self.do_next_match)
        self.search_bar.connect('find-next', self.do_next_match)
        self.search_bar.connect('find-prev', self.do_previous_match)
        self.search_bar.connect('stop-search', self.do_stop_search)

        content_grid = Gtk.Box(orientation=Gtk.Orientation.VERTICAL, spacing=0)
        content_grid.pack_start(self.search_revealer, False, True, 0)
        content_grid.pack_start(self.scrolled, True, True, 0)
        content_grid.show_all()

        self.overlay = Gtk.Overlay()
        self.overlay.add(content_grid)
        self.stats_overlay = Granite.WidgetsOverlayBar.new(self.overlay)

        self.stats_handler = StatsHandler(overlay_bar=self.stats_overlay,
                                          buffer=self.buffer)
        self.stats_handler.update_default_stat()

        self.add(self.overlay)

        self.font_desc = Pango.FontDescription()
        self.spellchecker = GtkSpell.Checker()

        self.search_settings = GtkSource.SearchSettings(wrap_around=True)
        self.search_context = GtkSource.SearchContext(
            buffer=self.buffer, settings=self.search_settings)
        self.search_iter = None
Ejemplo n.º 5
0
def on_highlight_updated(buffer, start, end):
    global color_tags
    for tag in color_tags:
        buffer.remove_tag(tag, buffer.get_start_iter(), buffer.get_end_iter())
    color_tags = []

    searcher = GtkSource.SearchContext(buffer=buffer, settings=SEARCH_SETTINGS)
    current_iter = buffer.get_start_iter()
    while True:
        found, start, end, _ = searcher.forward2(current_iter)

        if not found:
            break
        current_iter = end
        while True:
            tex = buffer.get_text(start, end, True)
            if tex.count('(') != tex.count(')'):
                end.forward_char()
            else:
                break
            if end.ends_line():
                break
        tex = buffer.get_text(start, end, True)
        rgb = try_parse_color(tex)
        if rgb != None:
            start2 = start.copy()
            start2.forward_char()
            for i in rgb:
                fg, bg = get_fg_and_bg(*i)
                new_tag = buffer.create_tag(foreground_rgba=fg,
                                            background_rgba=bg,
                                            weight=700)
                buffer.apply_tag(new_tag, start, start2)
                start.forward_char()
                start2.forward_char()
                color_tags.append(new_tag)
    print('HIGHLIGHT UPDATED')
Ejemplo n.º 6
0
 def on_search_clicked(self, widget):
     dialog = SearchDialog(self)
     dialog.set_transient_for(self)
     dialog.set_modal(True)
     dialog.show_all()
     # ==== This is important part for *dialog =====
     # Clicking button placed in the particular *dialog makes dialog to
     # exit the event loop while emitting a response signal if the
     # Response ID entry in Glade is activated.
     response = dialog.run()
     search_settings = GtkSource.SearchSettings()
     search_settings.set_case_sensitive(dialog.case_sensitive)
     search_settings.set_regex_enabled(dialog.regex_enabled)
     search_settings.set_search_text(dialog.searchbox.get_text())
     # buffer (GtkSource.Buffer) – a GtkSource.Buffer.
     # settings (GtkSource.SearchSettings or None) – a GtkSource.SearchSettings, or None.
     self.search_context = GtkSource.SearchContext(buffer=self.textbuffer, settings=search_settings)
     if response == Gtk.ResponseType.OK:
         cursor_mark = self.textbuffer.get_insert()
         start = self.textbuffer.get_iter_at_mark(cursor_mark)
         if start.get_offset() == self.textbuffer.get_char_count():
             start = self.textbuffer.get_start_iter()
         self.search_and_mark(start)
     dialog.destroy()
Ejemplo n.º 7
0
    def __init__(self):
        super().__init__()

        self.document = None

        self.buffer = GtkSource.Buffer()
        self.manager = GtkSource.LanguageManager()
        self.language = self.manager.get_language("markdown")
        self.buffer.set_language(self.language)
        self.buffer.create_tag('match', background="#66ff00")

        self.view = GtkSource.View()
        self.view.set_buffer(self.buffer)
        self.view.set_wrap_mode(Gtk.WrapMode.WORD)
        self.view.set_auto_indent(True)
        self.view.set_smart_home_end(True)
        self.view.set_insert_spaces_instead_of_tabs(True)
        self.view.set_tab_width(4)
        self.view.props.width_request = 800
        self.view.set_halign(Gtk.Align.CENTER)

        # self.view.set_pixels_above_lines(2)
        # self.view.set_pixels_below_lines(2)
        # self.view.set_pixels_inside_wrap(4)
        self.view.set_top_margin(8)
        self.view.set_left_margin(8)
        self.view.set_right_margin(8)
        self.view.set_bottom_margin(8)
        self.view.set_monospace(True)
        self.view.get_style_context().add_class('norka-editor')

        self.view.connect('key-release-event', self.on_key_release_event)

        # Connect markup handler
        self.markup_formatter = MarkupFormatter(self.buffer)

        self.get_style_context().add_class('norka-editor-view')
        self.connect('insert-bold', self.on_insert_bold)
        self.connect('insert-italic', self.on_insert_italic)
        self.connect('insert-code', self.on_insert_code)
        self.connect('insert-code-block', self.on_insert_code_block)
        self.connect('insert-h1', self.on_toggle_header1)
        self.connect('insert-h2', self.on_toggle_header2)
        self.connect('insert-h3', self.on_toggle_header3)
        self.connect('insert-list', self.on_toggle_list)
        self.connect('insert-ordered-list', self.on_toggle_ordered_list)
        self.connect('insert-quote', self.on_toggle_quote)
        self.connect('insert-link', self.on_insert_link)
        self.connect('insert-image', self.on_insert_image)

        self.scrolled = Gtk.ScrolledWindow(hexpand=True, vexpand=True)
        self.scrolled.get_style_context().add_class('scrolled-editor')
        self.scrolled.add(self.view)

        # SearchBar
        self.search_bar = SearchBar()
        self.search_revealer = Gtk.Revealer()
        self.search_revealer.add(self.search_bar)
        self.search_bar.connect('find-changed', self.do_next_match)
        self.search_bar.connect('find-next', self.do_next_match)
        self.search_bar.connect('find-prev', self.do_previous_match)
        self.search_bar.connect('stop-search', self.do_stop_search)

        content_grid = Gtk.Box(orientation=Gtk.Orientation.VERTICAL, spacing=0)
        content_grid.pack_start(self.search_revealer, False, True, 0)
        content_grid.pack_start(self.scrolled, True, True, 0)
        content_grid.show_all()

        self.overlay = Gtk.Overlay()
        self.overlay.add(content_grid)
        self.stats_overlay = Granite.WidgetsOverlayBar.new(self.overlay)

        self.stats_handler = StatsHandler(overlay_bar=self.stats_overlay,
                                          buffer=self.buffer)
        self.stats_handler.update_default_stat()

        self.add(self.overlay)

        self.font_desc = Pango.FontDescription()
        self.spellchecker = GtkSpell.Checker()

        self.search_settings = GtkSource.SearchSettings(wrap_around=True)
        self.search_context = GtkSource.SearchContext(
            buffer=self.buffer, settings=self.search_settings)
        self.search_iter = None