590 lines
23 KiB
Python
590 lines
23 KiB
Python
|
#!/usr/bin/env python
|
||
|
|
# -*- Mode: Python; py-indent-offset: 4 -*-
|
||
|
|
# vim: tabstop=4 shiftwidth=4 expandtab
|
||
|
|
|
||
|
|
# WARNING: test-widget.c is more complete and is better maintained.
|
||
|
|
|
||
|
|
import os, os.path
|
||
|
|
import sys
|
||
|
|
|
||
|
|
import gi
|
||
|
|
from gi.repository import Gio, GObject, Pango, Gtk, GdkPixbuf, Gdk, GtkSource
|
||
|
|
|
||
|
|
ui_description = """
|
||
|
|
<ui>
|
||
|
|
<menubar name=\"MainMenu\">
|
||
|
|
<menu action=\"FileMenu\">
|
||
|
|
<menuitem action=\"Open\"/>
|
||
|
|
<menuitem action=\"Print\"/>
|
||
|
|
<menuitem action=\"Find\"/>
|
||
|
|
<menuitem action=\"Replace\"/>
|
||
|
|
<separator/>
|
||
|
|
<menuitem action=\"Quit\"/>
|
||
|
|
</menu>
|
||
|
|
<menu action=\"ViewMenu\">
|
||
|
|
<menuitem action=\"NewView\"/>
|
||
|
|
<separator/>
|
||
|
|
<menuitem action=\"HlSyntax\"/>
|
||
|
|
<menuitem action=\"HlBracket\"/>
|
||
|
|
<menuitem action=\"ShowNumbers\"/>
|
||
|
|
<menuitem action=\"ShowMarks\"/>
|
||
|
|
<menuitem action=\"ShowMargin\"/>
|
||
|
|
<menuitem action=\"HlLine\"/>
|
||
|
|
<menuitem action=\"DrawSpaces\"/>
|
||
|
|
<menuitem action=\"WrapLines\"/>
|
||
|
|
<separator/>
|
||
|
|
<menuitem action=\"AutoIndent\"/>
|
||
|
|
<menuitem action=\"InsertSpaces\"/>
|
||
|
|
<separator/>
|
||
|
|
<menu action=\"TabWidth\">
|
||
|
|
<menuitem action=\"TabWidth4\"/>
|
||
|
|
<menuitem action=\"TabWidth6\"/>
|
||
|
|
<menuitem action=\"TabWidth8\"/>
|
||
|
|
<menuitem action=\"TabWidth10\"/>
|
||
|
|
<menuitem action=\"TabWidth12\"/>
|
||
|
|
</menu>
|
||
|
|
<menu action=\"IndentWidth\">
|
||
|
|
<menuitem action=\"IndentWidthUnset\"/>
|
||
|
|
<menuitem action=\"IndentWidth4\"/>
|
||
|
|
<menuitem action=\"IndentWidth6\"/>
|
||
|
|
<menuitem action=\"IndentWidth8\"/>
|
||
|
|
<menuitem action=\"IndentWidth10\"/>
|
||
|
|
<menuitem action=\"IndentWidth12\"/>
|
||
|
|
</menu>
|
||
|
|
<separator/>
|
||
|
|
<menu action=\"SmartHomeEnd\">
|
||
|
|
<menuitem action=\"SmartHomeEndDisabled\"/>
|
||
|
|
<menuitem action=\"SmartHomeEndBefore\"/>
|
||
|
|
<menuitem action=\"SmartHomeEndAfter\"/>
|
||
|
|
<menuitem action=\"SmartHomeEndAlways\"/>
|
||
|
|
</menu>
|
||
|
|
<separator/>
|
||
|
|
<menuitem action=\"ForwardString\"/>
|
||
|
|
<menuitem action=\"BackwardString\"/>
|
||
|
|
</menu>
|
||
|
|
<menu action=\"HelpMenu\">
|
||
|
|
<menuitem action=\"About\"/>
|
||
|
|
</menu>
|
||
|
|
</menubar>
|
||
|
|
</ui>
|
||
|
|
"""
|
||
|
|
|
||
|
|
class AboutDialog(Gtk.AboutDialog):
|
||
|
|
|
||
|
|
def __init__(self, parent):
|
||
|
|
Gtk.AboutDialog.__init__(self)
|
||
|
|
self.set_name('GtkSourceView Test')
|
||
|
|
self.set_copyright('Copyright (c) 2010 Ignacio Casal Quinteiro')
|
||
|
|
self.set_website_label('https://wiki.gnome.org/Projects/GtkSourceView')
|
||
|
|
self.set_authors(['Ignacio Casal Quinteiro', 'Paolo Borelli'])
|
||
|
|
self.set_transient_for(parent)
|
||
|
|
self.connect("response", lambda d, r: d.destroy())
|
||
|
|
|
||
|
|
class SearchDialog(Gtk.Dialog):
|
||
|
|
|
||
|
|
def __init__(self, parent, replace, what, replacement):
|
||
|
|
if replace:
|
||
|
|
title = "Replace"
|
||
|
|
else:
|
||
|
|
title = "Find"
|
||
|
|
|
||
|
|
Gtk.Dialog.__init__(self, title, parent, Gtk.DialogFlags.MODAL,
|
||
|
|
(Gtk.STOCK_CANCEL, Gtk.ResponseType.CANCEL,
|
||
|
|
Gtk.STOCK_OK, Gtk.ResponseType.OK))
|
||
|
|
|
||
|
|
self._search_widget = Gtk.Entry()
|
||
|
|
if what:
|
||
|
|
self._search_widget.set_text(what)
|
||
|
|
self._search_widget.set_activates_default(True)
|
||
|
|
self._search_widget.show()
|
||
|
|
print(self.get_content_area())
|
||
|
|
self.get_content_area().pack_start(self._search_widget, True, True, 0)
|
||
|
|
|
||
|
|
if replace:
|
||
|
|
self._replace_widget = Gtk.Entry()
|
||
|
|
if replacement:
|
||
|
|
self._replace_widget.set_text(replacement)
|
||
|
|
self._replace_widget.set_activates_default(True)
|
||
|
|
self._replace_widget.show()
|
||
|
|
self.get_content_area().pack_start(self._replace_widget, True, True, 0)
|
||
|
|
|
||
|
|
self._case_sensitive = Gtk.CheckButton.new_with_label("Case sensitive")
|
||
|
|
self._case_sensitive.show()
|
||
|
|
self.get_content_area().pack_start(self._case_sensitive, False, False, 0)
|
||
|
|
|
||
|
|
def run_search(self):
|
||
|
|
while True:
|
||
|
|
if self.run() != Gtk.ResponseType.OK:
|
||
|
|
self.hide()
|
||
|
|
return False
|
||
|
|
|
||
|
|
if self._search_widget.get_text() != "":
|
||
|
|
break
|
||
|
|
|
||
|
|
self.hide()
|
||
|
|
return True
|
||
|
|
|
||
|
|
def is_case_sensitive(self):
|
||
|
|
return self._case_sensitive.get_active()
|
||
|
|
|
||
|
|
def get_search_text(self):
|
||
|
|
return self._search_widget.get_text()
|
||
|
|
|
||
|
|
def get_replace_text(self):
|
||
|
|
return self._replace_widget.get_text()
|
||
|
|
|
||
|
|
class Window(Gtk.Window):
|
||
|
|
|
||
|
|
def __init__(self):
|
||
|
|
Gtk.Window.__init__(self)
|
||
|
|
|
||
|
|
self.MARK_TYPE_1 = "one"
|
||
|
|
self.MARK_TYPE_2 = "two"
|
||
|
|
|
||
|
|
self.set_title('GtkSourceView Demo')
|
||
|
|
self.set_icon_name('text-editor')
|
||
|
|
self.set_default_size(500, 500)
|
||
|
|
self.connect_after('destroy', _quit)
|
||
|
|
|
||
|
|
self._vbox = Gtk.VBox()
|
||
|
|
self.add(self._vbox)
|
||
|
|
|
||
|
|
sw = Gtk.ScrolledWindow(hadjustment=None,
|
||
|
|
vadjustment=None)
|
||
|
|
sw.set_shadow_type(Gtk.ShadowType.IN)
|
||
|
|
|
||
|
|
self._buf = GtkSource.Buffer()
|
||
|
|
self._view = GtkSource.View.new_with_buffer(self._buf)
|
||
|
|
self.insert_menu()
|
||
|
|
|
||
|
|
mgr = GtkSource.StyleSchemeManager.get_default()
|
||
|
|
style_scheme = mgr.get_scheme('classic')
|
||
|
|
if style_scheme:
|
||
|
|
self._buf.set_style_scheme(style_scheme)
|
||
|
|
|
||
|
|
self._vbox.pack_start(sw, True, True, 0)
|
||
|
|
sw.add(self._view)
|
||
|
|
|
||
|
|
self._pos_label = Gtk.Label()
|
||
|
|
self._vbox.pack_end(self._pos_label, False, False, 0)
|
||
|
|
|
||
|
|
self.add_source_mark_pixbufs()
|
||
|
|
|
||
|
|
self._buf.connect("mark-set", self.move_cursor_cb, None)
|
||
|
|
self._view.connect("line-mark-activated", self.line_mark_activated, None)
|
||
|
|
self._buf.connect("bracket-matched", self.bracket_matched, None);
|
||
|
|
|
||
|
|
def insert_menu(self):
|
||
|
|
action_group = Gtk.ActionGroup("GtkSourceViewActions")
|
||
|
|
action_group.add_actions([("FileMenu", None, "_File", None, None, None),
|
||
|
|
("Open", Gtk.STOCK_OPEN, "_Open", "<control>O",
|
||
|
|
"Open a file", self.open_file_cb),
|
||
|
|
("Print", Gtk.STOCK_PRINT, "_Print", "<control>P",
|
||
|
|
"Print the current file", self.print_file_cb),
|
||
|
|
("Find", Gtk.STOCK_FIND, "_Find", "<control>F",
|
||
|
|
"Find", self.find_cb),
|
||
|
|
("Replace", Gtk.STOCK_FIND_AND_REPLACE, "Search and _Replace", "<control>R",
|
||
|
|
"Search and replace", self.replace_cb),
|
||
|
|
("Quit", Gtk.STOCK_QUIT, "_Quit", "<control>Q",
|
||
|
|
"Exit the application", self.quit_cb),
|
||
|
|
("ViewMenu", None, "_View", None, None, None),
|
||
|
|
("NewView", Gtk.STOCK_NEW, "_New View", None,
|
||
|
|
"Create a new view of the file", self.new_view_cb),
|
||
|
|
("TabWidth", None, "_Tab Width", None, None, None),
|
||
|
|
("IndentWidth", None, "I_ndent Width", None, None, None),
|
||
|
|
("SmartHomeEnd", None, "_Smart Home/End", None, None, None),
|
||
|
|
("ForwardString", None, "_Forward to string toggle", "<control>S",
|
||
|
|
"Forward to the start or end of the next string", self.forward_string_cb),
|
||
|
|
("BackwardString", None, "_Backward to string toggle", "<control><shift>S",
|
||
|
|
"Backward to the start or end of the next string", self.backward_string_cb),
|
||
|
|
("HelpMenu", None, "_Help", None, None, None),
|
||
|
|
("About", Gtk.STOCK_ABOUT, "_About...", None,
|
||
|
|
"About GtkSourceView Test Widget", self.about_cb)])
|
||
|
|
|
||
|
|
action_group.add_toggle_actions([("HlSyntax", None, "Highlight _Syntax", None,
|
||
|
|
"Toggle syntax highlighting", self.hl_syntax_toggled_cb),
|
||
|
|
("HlBracket", None, "Highlight Matching _Bracket", None,
|
||
|
|
"Toggle highlighting of matching bracket", self.hl_bracket_toggled_cb),
|
||
|
|
("ShowNumbers", None, "Show _Line Numbers", None,
|
||
|
|
"Toggle visibility of line numbers in the left margin", self.numbers_toggled_cb),
|
||
|
|
("ShowMarks", None, "Show Line _Marks", None,
|
||
|
|
"Toggle visibility of marks in the left margin", self.marks_toggled_cb),
|
||
|
|
("ShowMargin", None, "Show Right M_argin", None,
|
||
|
|
"Toggle visibility of right margin indicator", self.margin_toggled_cb),
|
||
|
|
("HlLine", None, "_Highlight Current Line", None,
|
||
|
|
"Toggle highlighting of current line", self.hl_line_toggled_cb),
|
||
|
|
("DrawSpaces", None, "_Draw Spaces", None,
|
||
|
|
"Draw Spaces", self.draw_spaces_toggled_cb),
|
||
|
|
("WrapLines", None, "_Wrap Lines", None,
|
||
|
|
"Toggle line wrapping", self.wrap_lines_toggled_cb),
|
||
|
|
("AutoIndent", None, "Enable _Auto Indent", None,
|
||
|
|
"Toggle automatic auto indentation of text", self.auto_indent_toggled_cb),
|
||
|
|
("InsertSpaces", None, "Insert _Spaces Instead of Tabs", None,
|
||
|
|
"Whether to insert space characters when inserting tabulations",
|
||
|
|
self.insert_spaces_toggled_cb)])
|
||
|
|
|
||
|
|
action_group.add_radio_actions([("TabWidth4", None, "4", None,
|
||
|
|
"Set tabulation width to 4 spaces", 4),
|
||
|
|
("TabWidth6", None, "6", None,
|
||
|
|
"Set tabulation width to 6 spaces", 6),
|
||
|
|
("TabWidth8", None, "8", None,
|
||
|
|
"Set tabulation width to 8 spaces", 8),
|
||
|
|
("TabWidth10", None, "10", None,
|
||
|
|
"Set tabulation width to 10 spaces", 10),
|
||
|
|
("TabWidth12", None, "12", None,
|
||
|
|
"Set tabulation width to 12 spaces", 12)],
|
||
|
|
-1, self.tabs_toggled_cb)
|
||
|
|
|
||
|
|
action_group.add_radio_actions([("IndentWidthUnset", None, "Use Tab Width", None,
|
||
|
|
"Set indent width same as tab width", -1),
|
||
|
|
("IndentWidth4", None, "4", None,
|
||
|
|
"Set indent width to 4 spaces", 4),
|
||
|
|
("IndentWidth6", None, "6", None,
|
||
|
|
"Set indent width to 6 spaces", 6),
|
||
|
|
("IndentWidth8", None, "8", None,
|
||
|
|
"Set indent width to 8 spaces", 8),
|
||
|
|
("IndentWidth10", None, "10", None,
|
||
|
|
"Set indent width to 10 spaces", 10),
|
||
|
|
("IndentWidth12", None, "12", None,
|
||
|
|
"Set indent width to 12 spaces", 12)],
|
||
|
|
-1, self.indent_toggled_cb)
|
||
|
|
|
||
|
|
action_group.add_radio_actions([("SmartHomeEndDisabled", None, "Disabled", None,
|
||
|
|
"Smart Home/End disabled", GtkSource.SmartHomeEndType.DISABLED),
|
||
|
|
("SmartHomeEndBefore", None, "Before", None,
|
||
|
|
"Smart Home/End before", GtkSource.SmartHomeEndType.BEFORE),
|
||
|
|
("SmartHomeEndAfter", None, "After", None,
|
||
|
|
"Smart Home/End after", GtkSource.SmartHomeEndType.AFTER),
|
||
|
|
("SmartHomeEndAlways", None, "Always", None,
|
||
|
|
"Smart Home/End always", GtkSource.SmartHomeEndType.ALWAYS)],
|
||
|
|
-1, self.smart_home_end_toggled_cb)
|
||
|
|
|
||
|
|
self._ui_manager = Gtk.UIManager()
|
||
|
|
self._ui_manager.insert_action_group(action_group, 0)
|
||
|
|
|
||
|
|
try:
|
||
|
|
self._ui_manager.add_ui_from_string(ui_description)
|
||
|
|
except:
|
||
|
|
return
|
||
|
|
|
||
|
|
menu = self._ui_manager.get_widget("/MainMenu")
|
||
|
|
self._vbox.pack_start(menu, False, False, 0)
|
||
|
|
|
||
|
|
accel_group = self._ui_manager.get_accel_group()
|
||
|
|
self.add_accel_group (accel_group)
|
||
|
|
|
||
|
|
# Add default values
|
||
|
|
action_group.get_action("HlSyntax").set_active(True)
|
||
|
|
action_group.get_action("HlBracket").set_active(True)
|
||
|
|
action_group.get_action("ShowNumbers").set_active(True)
|
||
|
|
action_group.get_action("ShowMarks").set_active(True)
|
||
|
|
action_group.get_action("ShowMargin").set_active(True)
|
||
|
|
action_group.get_action("AutoIndent").set_active(True)
|
||
|
|
action_group.get_action("TabWidth8").set_active(True)
|
||
|
|
action_group.get_action("IndentWidthUnset").set_active(True)
|
||
|
|
|
||
|
|
def add_source_mark_pixbufs(self):
|
||
|
|
attrs = GtkSource.MarkAttributes ();
|
||
|
|
color = Gdk.RGBA();
|
||
|
|
parsed = color.parse("lightgreen")
|
||
|
|
if parsed:
|
||
|
|
attrs.set_background(color)
|
||
|
|
attrs.set_stock_id(Gtk.STOCK_YES)
|
||
|
|
attrs.connect("query-tooltip-markup", self.mark_tooltip_func)
|
||
|
|
self._view.set_mark_attributes (self.MARK_TYPE_1, attrs, 1)
|
||
|
|
|
||
|
|
attrs = GtkSource.MarkAttributes ();
|
||
|
|
color = Gdk.RGBA();
|
||
|
|
parsed = color.parse("pink")
|
||
|
|
if parsed:
|
||
|
|
attrs.set_background(color)
|
||
|
|
attrs.set_stock_id(Gtk.STOCK_NO)
|
||
|
|
attrs.connect("query-tooltip-markup", self.mark_tooltip_func)
|
||
|
|
self._view.set_mark_attributes (self.MARK_TYPE_2, attrs, 2)
|
||
|
|
|
||
|
|
def remove_all_marks(self):
|
||
|
|
start, end = self._buf.get_bounds()
|
||
|
|
self._buf.remove_source_marks(start, end, None)
|
||
|
|
|
||
|
|
def mark_tooltip_func(self, attrs, mark):
|
||
|
|
i = self._buf.get_iter_at_mark(mark)
|
||
|
|
line = i.get_line() + 1
|
||
|
|
column = i.get_line_offset()
|
||
|
|
|
||
|
|
if mark.get_category() == self.MARK_TYPE_1:
|
||
|
|
return "Line: %d, Column: %d" % (line, column)
|
||
|
|
else:
|
||
|
|
return "<b>Line</b>: %d\n<i>Column</i>: %d" % (line, column)
|
||
|
|
|
||
|
|
def update_cursor_position(self):
|
||
|
|
i = self._buf.get_iter_at_mark(self._buf.get_insert())
|
||
|
|
chars = i.get_offset()
|
||
|
|
row = i.get_line() + 1
|
||
|
|
col = self._view.get_visual_column(i) + 1
|
||
|
|
|
||
|
|
classes = self._buf.get_context_classes_at_iter(i)
|
||
|
|
|
||
|
|
classes_str = ""
|
||
|
|
|
||
|
|
i = 0
|
||
|
|
for c in classes:
|
||
|
|
if len(classes) != i + 1:
|
||
|
|
classes_str += c + ", "
|
||
|
|
else:
|
||
|
|
classes_str += c
|
||
|
|
|
||
|
|
msg = "char: %d, line: %d, column: %d, classes: %s" % (chars, row, col, classes_str)
|
||
|
|
self._pos_label.set_text(msg)
|
||
|
|
|
||
|
|
# Callbacks
|
||
|
|
def open_file_cb(self, action, user_data=None):
|
||
|
|
chooser = Gtk.FileChooserDialog("Open File...", None,
|
||
|
|
Gtk.FileChooserAction.OPEN,
|
||
|
|
(Gtk.STOCK_CANCEL, Gtk.ResponseType.CANCEL,
|
||
|
|
Gtk.STOCK_OPEN, Gtk.ResponseType.OK))
|
||
|
|
|
||
|
|
response = chooser.run()
|
||
|
|
|
||
|
|
if response == Gtk.ResponseType.OK:
|
||
|
|
filename = chooser.get_filename()
|
||
|
|
|
||
|
|
if filename:
|
||
|
|
self.open_file(filename)
|
||
|
|
|
||
|
|
chooser.destroy()
|
||
|
|
|
||
|
|
def print_file_cb(self, action, user_data=None):
|
||
|
|
compositor = GtkSource.PrintCompositor.new_from_view (self._view)
|
||
|
|
operation = Gtk.PrintOperation ()
|
||
|
|
operation.set_job_name (os.path.basename(self._filepath))
|
||
|
|
operation.set_show_progress (True)
|
||
|
|
|
||
|
|
# we do blocking pagination
|
||
|
|
operation.connect('paginate', self.paginate_cb, compositor)
|
||
|
|
operation.connect('draw-page', self.draw_page_cb, compositor)
|
||
|
|
|
||
|
|
operation.run (Gtk.PrintOperationAction.PRINT_DIALOG, None)
|
||
|
|
|
||
|
|
def find_cb(self, action, user_data=None):
|
||
|
|
dialog = SearchDialog(self, False, None, None)
|
||
|
|
|
||
|
|
if dialog.is_case_sensitive:
|
||
|
|
search_flags = GtkSource.SearchFlags.CASE_INSENSITIVE
|
||
|
|
else:
|
||
|
|
search_flags = 0
|
||
|
|
|
||
|
|
if dialog.run_search():
|
||
|
|
i = self._buf.get_iter_at_mark(self._buf.get_insert())
|
||
|
|
|
||
|
|
searched, start, end = i.forward_search(dialog.get_search_text(),
|
||
|
|
search_flags, None)
|
||
|
|
if searched:
|
||
|
|
self._buf.select_range(start, end)
|
||
|
|
else:
|
||
|
|
end = i
|
||
|
|
i = self._buf.get_start_iter()
|
||
|
|
|
||
|
|
searched, start, end = i.forward_search(dialog.get_search_text(),
|
||
|
|
search_flags, end)
|
||
|
|
if searched:
|
||
|
|
self._buf.select_range(start, end)
|
||
|
|
|
||
|
|
def replace_cb(self, action, user_data=None):
|
||
|
|
dialog = SearchDialog(self, False, None, None)
|
||
|
|
|
||
|
|
if dialog.is_case_sensitive:
|
||
|
|
search_flags = GtkSource.SearchFlags.CASE_INSENSITIVE
|
||
|
|
else:
|
||
|
|
search_flags = 0
|
||
|
|
|
||
|
|
i = self._buf.get_start_iter()
|
||
|
|
|
||
|
|
while True:
|
||
|
|
searched, start, end = i.forward_search(dialog.get_search_text(),
|
||
|
|
search_flags, None)
|
||
|
|
|
||
|
|
if not searched:
|
||
|
|
break
|
||
|
|
|
||
|
|
self._buf.delete(start, end)
|
||
|
|
self._buf.insert(start, dialog.get_replace_text())
|
||
|
|
i = start
|
||
|
|
|
||
|
|
def quit_cb(self, action, user_data=None):
|
||
|
|
_quit()
|
||
|
|
|
||
|
|
def new_view_cb(self, action, user_data=None):
|
||
|
|
window = Window()
|
||
|
|
window.show_all()
|
||
|
|
|
||
|
|
def hl_syntax_toggled_cb(self, action, user_data=None):
|
||
|
|
self._buf.set_highlight_syntax(action.get_active())
|
||
|
|
|
||
|
|
def hl_bracket_toggled_cb(self, action, user_data=None):
|
||
|
|
self._buf.set_highlight_matching_brackets(action.get_active())
|
||
|
|
|
||
|
|
def numbers_toggled_cb(self, action, user_data=None):
|
||
|
|
self._view.set_show_line_numbers(action.get_active())
|
||
|
|
|
||
|
|
def marks_toggled_cb(self, action, user_data=None):
|
||
|
|
self._view.set_show_line_marks(action.get_active())
|
||
|
|
|
||
|
|
def margin_toggled_cb(self, action, user_data=None):
|
||
|
|
self._view.set_show_right_margin(action.get_active())
|
||
|
|
|
||
|
|
def hl_line_toggled_cb(self, action, user_data=None):
|
||
|
|
self._view.set_highlight_current_line(action.get_active())
|
||
|
|
|
||
|
|
def draw_spaces_toggled_cb(self, action, user_data=None):
|
||
|
|
|
||
|
|
if (action.get_active()):
|
||
|
|
draw_spaces = GtkSource.DrawSpacesFlags.ALL
|
||
|
|
else:
|
||
|
|
draw_spaces = 0
|
||
|
|
self._view.set_draw_spaces(draw_spaces)
|
||
|
|
|
||
|
|
def wrap_lines_toggled_cb(self, action, user_data=None):
|
||
|
|
|
||
|
|
if (action.get_active()):
|
||
|
|
wrap_mode = Gtk.WrapMode.WORD
|
||
|
|
else:
|
||
|
|
wrap_mode = Gtk.WrapMode.NONE
|
||
|
|
self._view.set_wrap_mode(wrap_mode)
|
||
|
|
|
||
|
|
def auto_indent_toggled_cb(self, action, user_data=None):
|
||
|
|
self._view.set_auto_indent(action.get_active())
|
||
|
|
|
||
|
|
def insert_spaces_toggled_cb(self, action, user_data=None):
|
||
|
|
self._view.set_insert_spaces_instead_of_tabs(action.get_active())
|
||
|
|
|
||
|
|
def forward_string_cb(self, action, user_data=None):
|
||
|
|
insert = self._buf.get_insert()
|
||
|
|
|
||
|
|
it = self._buf.get_iter_at_mark(insert)
|
||
|
|
|
||
|
|
if (self._buf.iter_forward_to_context_class_toggle(it, "string")):
|
||
|
|
self._buf.place_cursor(it)
|
||
|
|
self._view.scroll_mark_onscreen(insert)
|
||
|
|
|
||
|
|
def backward_string_cb(self, action, user_data=None):
|
||
|
|
insert = self._buf.get_insert()
|
||
|
|
|
||
|
|
it = self._buf.get_iter_at_mark(insert)
|
||
|
|
|
||
|
|
if (self._buf.iter_backward_to_context_class_toggle(it, "string")):
|
||
|
|
self._buf.place_cursor(it)
|
||
|
|
self._view.scroll_mark_onscreen(insert)
|
||
|
|
|
||
|
|
def tabs_toggled_cb(self, action, current, user_data=None):
|
||
|
|
self._view.set_tab_width(current.get_current_value())
|
||
|
|
|
||
|
|
def indent_toggled_cb(self, action, current):
|
||
|
|
self._view.set_indent_width(current.get_current_value())
|
||
|
|
|
||
|
|
def smart_home_end_toggled_cb(self, action, current, user_data=None):
|
||
|
|
self._view.set_smart_home_end(current.get_current_value())
|
||
|
|
|
||
|
|
def about_cb(self, action, user_data=None):
|
||
|
|
about = AboutDialog(self)
|
||
|
|
about.show()
|
||
|
|
|
||
|
|
def move_cursor_cb(self, buf, cursor_iter, mark, user_data):
|
||
|
|
if mark != buf.get_insert():
|
||
|
|
return
|
||
|
|
|
||
|
|
self.update_cursor_position()
|
||
|
|
|
||
|
|
def line_mark_activated(self, gutter, place, ev, user_data):
|
||
|
|
if ev.button.button == 1:
|
||
|
|
mark_type = self.MARK_TYPE_1
|
||
|
|
else:
|
||
|
|
mark_type = self.MARK_TYPE_2
|
||
|
|
|
||
|
|
mark_list = self._buf.get_source_marks_at_line(place.get_line(), mark_type)
|
||
|
|
|
||
|
|
if mark_list:
|
||
|
|
self._buf.delete_mark(mark_list[0])
|
||
|
|
else:
|
||
|
|
self._buf.create_source_mark(None, mark_type, place)
|
||
|
|
|
||
|
|
def bracket_matched(self, buf, place, state, user_data):
|
||
|
|
# FIXME: figure out how to obtain the nick from the enum value
|
||
|
|
# print "Bracket match state: '%s'\n" % nick
|
||
|
|
if state == GtkSource.BracketMatchType.FOUND:
|
||
|
|
bracket = place.get_char()
|
||
|
|
row = place.get_line() + 1
|
||
|
|
col = place.get_line_offset() + 1
|
||
|
|
print("Matched bracket: '%c' at row: %i, col: %i" % (bracket, row, col))
|
||
|
|
|
||
|
|
def open_file(self, filename):
|
||
|
|
if os.path.isabs(filename):
|
||
|
|
path = filename
|
||
|
|
else:
|
||
|
|
path = os.path.abspath(filename)
|
||
|
|
|
||
|
|
self._filepath = path
|
||
|
|
|
||
|
|
f = Gio.file_new_for_path(path)
|
||
|
|
|
||
|
|
info = f.query_info("*", 0, None)
|
||
|
|
content_type = info.get_content_type()
|
||
|
|
|
||
|
|
mgr = GtkSource.LanguageManager.get_default()
|
||
|
|
language = mgr.guess_language(filename, content_type)
|
||
|
|
|
||
|
|
self.remove_all_marks()
|
||
|
|
self._buf.set_language(language)
|
||
|
|
self._buf.set_highlight_syntax(True)
|
||
|
|
|
||
|
|
self._buf.begin_not_undoable_action()
|
||
|
|
|
||
|
|
# stream = f.read(None)
|
||
|
|
# chunk, r = stream.read(4096, None)
|
||
|
|
|
||
|
|
#FIXME: Use Gio
|
||
|
|
try:
|
||
|
|
txt = open(path, 'r').read()
|
||
|
|
except:
|
||
|
|
return False
|
||
|
|
|
||
|
|
self._buf.set_text(txt, -1)
|
||
|
|
|
||
|
|
self._buf.end_not_undoable_action()
|
||
|
|
|
||
|
|
self._buf.set_modified(False)
|
||
|
|
|
||
|
|
i = self._buf.get_start_iter()
|
||
|
|
self._buf.place_cursor(i)
|
||
|
|
return True
|
||
|
|
|
||
|
|
def paginate_cb(self, operation, context, compositor):
|
||
|
|
print("Pagination progress: %.2f %%\n" % (compositor.get_pagination_progress () * 100.0))
|
||
|
|
if compositor.paginate (context):
|
||
|
|
print("Pagination progress: %.2f %%\n" % (compositor.get_pagination_progress () * 100.0))
|
||
|
|
operation.set_n_pages (compositor.get_n_pages ())
|
||
|
|
return True
|
||
|
|
return False
|
||
|
|
|
||
|
|
def draw_page_cb(self, operation, context, page_nr, compositor):
|
||
|
|
compositor.draw_page (context, page_nr)
|
||
|
|
|
||
|
|
def _quit(*args):
|
||
|
|
Gtk.main_quit()
|
||
|
|
|
||
|
|
def main(args = []):
|
||
|
|
global window
|
||
|
|
|
||
|
|
window = Window()
|
||
|
|
|
||
|
|
if len(args) > 2:
|
||
|
|
window.open_file(args[1])
|
||
|
|
else:
|
||
|
|
window.open_file(args[0])
|
||
|
|
|
||
|
|
window.show_all()
|
||
|
|
Gtk.main()
|
||
|
|
|
||
|
|
if __name__ == '__main__':
|
||
|
|
main(sys.argv)
|
||
|
|
|