2023-03-21 03:19:20 +00:00
|
|
|
# Python imports
|
|
|
|
|
|
|
|
# Lib imports
|
2023-03-22 07:12:40 +00:00
|
|
|
import gi
|
|
|
|
gi.require_version('Gtk', '3.0')
|
|
|
|
gi.require_version('GtkSource', '4')
|
|
|
|
from gi.repository import Gtk
|
|
|
|
from gi.repository import GtkSource
|
2023-03-21 03:19:20 +00:00
|
|
|
|
|
|
|
# Application imports
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
class SourceViewEventsMixin:
|
2023-03-23 04:03:16 +00:00
|
|
|
def get_current_file(self):
|
|
|
|
return self._current_file
|
|
|
|
|
2023-03-21 03:19:20 +00:00
|
|
|
def set_buffer_language(self, language = "python3"):
|
|
|
|
self._buffer.set_language( self._language_manager.get_language(language) )
|
|
|
|
|
|
|
|
def set_buffer_style(self, style = "tango"):
|
|
|
|
self._buffer.set_style_scheme( self._style_scheme_manager.get_scheme(style) )
|
|
|
|
|
|
|
|
def toggle_highlight_line(self, widget = None, eve = None):
|
|
|
|
self.set_highlight_current_line( not self.get_highlight_current_line() )
|
|
|
|
|
|
|
|
def scale_up_text(self, scale_step = 10):
|
|
|
|
current_scale = self._general_style_tag.get_property('scale')
|
|
|
|
start_itr = self._buffer.get_start_iter()
|
|
|
|
end_itr = self._buffer.get_end_iter()
|
|
|
|
|
|
|
|
self._general_style_tag.set_property('scale', current_scale + scale_step)
|
|
|
|
self._buffer.apply_tag(self._general_style_tag, start_itr, end_itr)
|
|
|
|
|
|
|
|
def scale_down_text(self, scale_step = 10):
|
|
|
|
tag_table = self._buffer.get_tag_table()
|
|
|
|
start_itr = self._buffer.get_start_iter()
|
|
|
|
end_itr = self._buffer.get_end_iter()
|
|
|
|
tag = tag_table.lookup('general_style')
|
|
|
|
|
|
|
|
tag.set_property('scale', tag.get_property('scale') - scale_step)
|
|
|
|
self._buffer.apply_tag(tag, start_itr, end_itr)
|
|
|
|
|
|
|
|
def update_cursor_position(self):
|
2023-03-23 04:03:16 +00:00
|
|
|
iter = self._buffer.get_iter_at_mark( self._buffer.get_insert() )
|
2023-03-21 03:19:20 +00:00
|
|
|
chars = iter.get_offset()
|
|
|
|
row = iter.get_line() + 1
|
|
|
|
col = self.get_visual_column(iter) + 1
|
|
|
|
|
|
|
|
classes = self._buffer.get_context_classes_at_iter(iter)
|
|
|
|
classes_str = ""
|
|
|
|
|
|
|
|
i = 0
|
|
|
|
for c in classes:
|
|
|
|
if len(classes) != i + 1:
|
|
|
|
classes_str += c + ", "
|
|
|
|
else:
|
|
|
|
classes_str += c
|
|
|
|
|
|
|
|
cursor_data = f"char: {chars}, line: {row}, column: {col}, classes: {classes_str}"
|
|
|
|
logger.debug(cursor_data)
|
|
|
|
event_system.emit("set_line_char_label", (f"{row}:{col}",))
|
|
|
|
|
|
|
|
|
|
|
|
# https://github.com/ptomato/inform7-ide/blob/main/src/actions.c
|
|
|
|
def action_uncomment_selection(self):
|
|
|
|
...
|
|
|
|
|
|
|
|
def action_comment_out_selection(self):
|
|
|
|
pass
|
2023-03-22 07:12:40 +00:00
|
|
|
|
|
|
|
def open_file(self, gfile, *args):
|
|
|
|
self._current_file = gfile
|
|
|
|
|
|
|
|
self.load_file_info(gfile)
|
|
|
|
self.load_file_async(gfile)
|
|
|
|
self._create_file_watcher(gfile)
|
|
|
|
self.grab_focus()
|
|
|
|
|
|
|
|
def load_file_info(self, gfile):
|
|
|
|
info = gfile.query_info("standard::*", 0, cancellable=None)
|
|
|
|
content_type = info.get_content_type()
|
|
|
|
display_name = info.get_display_name()
|
|
|
|
tab_widget = self.get_parent().get_tab_widget()
|
|
|
|
self._current_filename = display_name
|
|
|
|
|
|
|
|
try:
|
|
|
|
lm = self._language_manager.guess_language(None, content_type)
|
|
|
|
self.set_buffer_language( lm.get_id() )
|
|
|
|
except Exception as e:
|
|
|
|
...
|
|
|
|
|
|
|
|
logger.debug(f"Detected Content Type: {content_type}")
|
|
|
|
tab_widget.set_tab_label(display_name)
|
|
|
|
event_system.emit("set_bottom_labels", (gfile, info))
|
|
|
|
|
|
|
|
def load_file_async(self, gfile):
|
|
|
|
file = GtkSource.File()
|
|
|
|
file.set_location(gfile)
|
|
|
|
self._file_loader = GtkSource.FileLoader.new(self._buffer, file)
|
|
|
|
|
|
|
|
def finish_load_callback(obj, res, user_data=None):
|
|
|
|
self._file_loader.load_finish(res)
|
|
|
|
self._is_changed = False
|
2023-03-24 06:01:57 +00:00
|
|
|
self._document_loaded()
|
2023-03-22 07:12:40 +00:00
|
|
|
|
|
|
|
self._file_loader.load_async(io_priority = 98,
|
|
|
|
cancellable = None,
|
|
|
|
progress_callback = None,
|
|
|
|
progress_callback_data = None,
|
|
|
|
callback = finish_load_callback,
|
|
|
|
user_data = (None))
|