# Python imports # Lib imports import gi gi.require_version('Gtk', '3.0') from gi.repository import Gtk from gi.repository import GLib # Application imports from .key_input_controller import KeyInputController from .source_view_events import SourceViewEvents class SourceViewControllerMixin(KeyInputController, SourceViewEvents): def get_current_file(self): return self._current_file def get_filetype(self): return self._current_filetype def set_buffer_language(self, buffer, language = "python3"): buffer.set_language( self._language_manager.get_language(language) ) def set_buffer_style(self, buffer, style = settings.theming.syntax_theme): buffer.set_style_scheme( self._style_scheme_manager.get_scheme(style) ) def go_to_call(self): buffer = self.get_buffer() iter = buffer.get_iter_at_mark( buffer.get_insert() ) line = iter.get_line() offset = iter.get_line_offset() uri = self.get_current_file().get_uri() event_system.emit("textDocument/definition", (self.get_filetype(), uri, line, offset,)) def update_cursor_position(self, buffer = None): buffer = self.get_buffer() if not buffer else buffer iter = buffer.get_iter_at_mark( buffer.get_insert() ) chars = iter.get_offset() row = iter.get_line() + 1 col = self.get_visual_column(iter) + 1 event_system.emit("set_line_char_label", (f"{row}:{col}",)) def update_labels(self, gfile = None): if not gfile: return tab_widget = self.get_parent().get_tab_widget() tab_widget.set_tab_label(self._current_filename) self.set_bottom_labels(gfile) def set_bottom_labels(self, gfile = None): if not gfile: return event_system.emit("set_bottom_labels", (gfile, None, self._current_filetype, None)) self.update_cursor_position() def got_to_line(self, buffer = None, line: int = 0): buffer = self.get_buffer() if not buffer else buffer line_itr = buffer.get_iter_at_line(line) char_iter = buffer.get_iter_at_line_offset(line, line_itr.get_bytes_in_line()) buffer.place_cursor(char_iter) # Note: scroll_to_iter and scroll_to_mark depend on an idle recalculate of buffers after load to work GLib.idle_add(self.scroll_to_mark, buffer.get_insert(), 0.1, True, 0.0, 0.1) 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, buffer = None, scale_step = 10): if not buffer: buffer = self.get_buffer() ctx = self.get_style_context() if self._px_value < 99: self._px_value += 1 ctx.add_class(f"px{self._px_value}") # NOTE: Hope to bring this or similar back after we decouple scaling issues coupled with the miniview. # tag_table = buffer.get_tag_table() # start_itr = buffer.get_start_iter() # end_itr = buffer.get_end_iter() # tag = tag_table.lookup('general_style') # # tag.set_property('scale', tag.get_property('scale') + scale_step) # buffer.apply_tag(tag, start_itr, end_itr) def scale_down_text(self, buffer = None, scale_step = 10): if not buffer: buffer = self.get_buffer() ctx = self.get_style_context() if self._px_value > 1: ctx.remove_class(f"px{self._px_value}") self._px_value -= 1 ctx.add_class(f"px{self._px_value}") # NOTE: Hope to bring this or similar back after we decouple scaling issues coupled with the miniview. # tag_table = buffer.get_tag_table() # start_itr = buffer.get_start_iter() # end_itr = buffer.get_end_iter() # tag = tag_table.lookup('general_style') # # tag.set_property('scale', tag.get_property('scale') - scale_step) # buffer.apply_tag(tag, start_itr, end_itr) def keyboard_undo(self): buffer = self.get_buffer() buffer.undo() def keyboard_redo(self): buffer = self.get_buffer() buffer.redo() def keyboard_move_lines_up(self): buffer = self.get_buffer() self.begin_user_action(buffer) self.emit("move-lines", *(False,)) # unindent_lines # self.emit("move-words", *(self, 4,)) self.end_user_action(buffer) def keyboard_move_lines_down(self): buffer = self.get_buffer() self.begin_user_action(buffer) self.emit("move-lines", *(True,)) # self.emit("move-words", *(self, -4,)) self.end_user_action(buffer)