def __init__(self, parent=None): super().__init__() self.setUndoRedoEnabled(False) self.setCursorWidth(10) self.setFrameShape(0) self.moveCursor(QTextCursor.EndOfLine) self.__incomplete = False # History self._history_index = 0 self._history = [] self._current_command = '' # Console self._console = console.Console() self.setFont(settings.FONT) # Set highlighter and indenter for Python syntax = highlighter.build_highlighter(language='python') if syntax is not None: self._highlighter = Highlighter( self.document(), syntax.partition_scanner, syntax.scanners, syntax.context ) # self._highlighter = Highlighter(self.document(), syntax) self._indenter = indenter.load_indenter(self, lang="python") # Sidebar self.sidebar = ConsoleSideBar(self) self.setViewportMargins(self.sidebar.sizeHint().width(), 0, 0, 0) # Key operations self._key_operations = { Qt.Key_Enter: self.__manage_enter, Qt.Key_Return: self.__manage_enter, Qt.Key_Left: self.__manage_left, Qt.Key_Up: self.__up_pressed, Qt.Key_Down: self.__down_pressed, Qt.Key_Home: self.__manage_home, Qt.Key_Backspace: self.__manage_backspace } self.setContextMenuPolicy(Qt.CustomContextMenu) self.customContextMenuRequested.connect(self._context_menu) _ToolsDock.register_widget("Interpreter", self)
def __init__(self, parent=None): super().__init__() self.setUndoRedoEnabled(False) self.setCursorWidth(10) self.setFrameShape(0) self.moveCursor(QTextCursor.EndOfLine) self.__incomplete = False # History self._history_index = 0 self._history = [] self._current_command = '' # Console self._console = console.Console() self.setFont(settings.FONT) # Set highlighter and indenter for Python syntax = highlighter.build_highlighter(language='python') if syntax is not None: self._highlighter = Highlighter(self.document(), syntax.partition_scanner, syntax.scanners, syntax.context) # self._highlighter = Highlighter(self.document(), syntax) self._indenter = indenter.load_indenter(self, lang="python") # Sidebar self.sidebar = ConsoleSideBar(self) self.setViewportMargins(self.sidebar.sizeHint().width(), 0, 0, 0) # Key operations self._key_operations = { Qt.Key_Enter: self.__manage_enter, Qt.Key_Return: self.__manage_enter, Qt.Key_Left: self.__manage_left, Qt.Key_Up: self.__up_pressed, Qt.Key_Down: self.__down_pressed, Qt.Key_Home: self.__manage_home, Qt.Key_Backspace: self.__manage_backspace } self.setContextMenuPolicy(Qt.CustomContextMenu) self.customContextMenuRequested.connect(self._context_menu) _ToolsDock.register_widget("Interpreter", self)
def set_language(self, language): self.register_syntax_for(language=language) self._indenter = indenter.load_indenter(self, lang=language)
def __init__(self, neditable): QPlainTextEdit.__init__(self) self.setFrameStyle(0) # Remove border self._neditable = neditable self.setMouseTracking(True) # Style self._background_color = QColor( resources.get_color('EditorBackground')) self._foreground_color = QColor(resources.get_color('Default')) self._selection_color = QColor( resources.get_color('EditorSelectionColor')) self._selection_background_color = QColor( resources.get_color('EditorSelectionBackground')) self.__apply_style() self.setCursorWidth(2) self._highlighter = None self.__visible_blocks = [] self._last_line_position = 0 self.__encoding = None self.__show_whitespaces = settings.SHOW_TABS_AND_SPACES self.__side_widgets = [] # Extra Selections self._extra_selections = OrderedDict() self.__occurrences = [] # Load indenter based on language self._indenter = indenter.load_indenter(self, neditable.language()) # Set editor font before build lexer self.default_font = settings.FONT self.register_syntax_for(neditable.language()) # Register extensions self.__extensions = {} # Brace matching self._brace_matching = self.register_extension( symbol_highlighter.SymbolHighlighter) self.brace_matching = settings.BRACE_MATCHING # Current line highlighter self._line_highlighter = self.register_extension( line_highlighter.CurrentLineHighlighter) self.highlight_current_line = settings.HIGHLIGHT_CURRENT_LINE # Right margin line self._margin_line = self.register_extension(margin_line.RightMargin) self.margin_line = settings.SHOW_MARGIN_LINE self.margin_line_position = settings.MARGIN_LINE self.margin_line_background = settings.MARGIN_LINE_BACKGROUND # Indentation guides self._indentation_guides = self.register_extension( indentation_guides.IndentationGuide) self.show_indentation_guides(settings.SHOW_INDENTATION_GUIDES) # Autocomplete braces self.__autocomplete_braces = self.register_extension( braces.AutocompleteBraces) self.autocomplete_braces(settings.AUTOCOMPLETE_BRACKETS) # Autocomplete quotes self.__autocomplete_quotes = self.register_extension( quotes.AutocompleteQuotes) self.autocomplete_quotes(settings.AUTOCOMPLETE_QUOTES) # Mark occurrences timer self._highlight_word_timer = QTimer() self._highlight_word_timer.setSingleShot(True) self._highlight_word_timer.setInterval(800) self._highlight_word_timer.timeout.connect( self.highlight_selected_word) # Install custom scrollbar self._scrollbar = scrollbar.NScrollBar(self) self._scrollbar.setAttribute(Qt.WA_OpaquePaintEvent, False) self.setVerticalScrollBar(self._scrollbar) self.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) self.additional_builtins = None # Set the editor after initialization if self._neditable is not None: if self._neditable.editor: self.setDocument(self._neditable.document) else: self._neditable.set_editor(self) self._neditable.checkersUpdated.connect(self._highlight_checkers) # Widgets on side area self._line_number_area = self.add_side_widget( line_number_area.LineNumberArea, order=2) self.show_line_numbers(settings.SHOW_LINE_NUMBERS) self._text_change_area = self.add_side_widget( text_change_area.TextChangeArea, order=0) self.show_text_changes(settings.SHOW_TEXT_CHANGES) self._marker_area = self.add_side_widget(marker_area.MarkerArea, 1) # FIXME: we need a method to initialize self.__set_whitespaces_flags(self.__show_whitespaces) self.cursorPositionChanged.connect(self._on_cursor_position_changed) self.cursorPositionChanged.connect(self.viewport().update)
def __init__(self, neditable): super().__init__() self.setFrameStyle(QFrame.NoFrame) self._neditable = neditable self.setMouseTracking(True) self.__encoding = None self._last_line_position = 0 # List of word separators # Can be used by code completion and the link emulator self.word_separators = [",", ".", ":", "[", "]", "(", ")", "{", "}"] # Extra Selections self._extra_selections = OrderedDict() self.__link_cursor = QTextCursor() # Load indenter based on language self._indenter = indenter.load_indenter(self, neditable.language()) # Set editor font before build lexer self.set_font(settings.FONT) # Register extensions self.__extensions = {} # Brace matching self._brace_matching = self.register_extension( symbol_highlighter.SymbolHighlighter) self.brace_matching = settings.BRACE_MATCHING # Current line highlighter self._line_highlighter = self.register_extension( line_highlighter.CurrentLineHighlighter) self.highlight_current_line = settings.HIGHLIGHT_CURRENT_LINE # Right margin line self._margin_line = self.register_extension(margin_line.RightMargin) self.margin_line = settings.SHOW_MARGIN_LINE self.margin_line_position = settings.MARGIN_LINE self.margin_line_background = settings.MARGIN_LINE_BACKGROUND # Indentation guides self._indentation_guides = self.register_extension( indentation_guides.IndentationGuide) self.show_indentation_guides(settings.SHOW_INDENTATION_GUIDES) # Autocomplete braces self.__autocomplete_braces = self.register_extension( braces.AutocompleteBraces) self.autocomplete_braces(settings.AUTOCOMPLETE_BRACKETS) # Autocomplete quotes self.__autocomplete_quotes = self.register_extension( quotes.AutocompleteQuotes) self.autocomplete_quotes(settings.AUTOCOMPLETE_QUOTES) # Highlight word under cursor self.__word_occurrences = [] self._highlight_word_timer = QTimer() self._highlight_word_timer.setSingleShot(True) self._highlight_word_timer.setInterval(1000) self._highlight_word_timer.timeout.connect( self.highlight_selected_word) # Install custom scrollbar self._scrollbar = scrollbar.NScrollBar(self) self._scrollbar.setAttribute(Qt.WA_OpaquePaintEvent, False) self.setVerticalScrollBar(self._scrollbar) self.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) self.additional_builtins = None # Set the editor after initialization if self._neditable is not None: if self._neditable.editor: self.setDocument(self._neditable.document) else: self._neditable.set_editor(self) self._neditable.checkersUpdated.connect(self._highlight_checkers) # self.register_syntax_for(language=neditable.language()) # Widgets on side area self.side_widgets = manager.SideWidgetManager(self) # Mark text changes self._text_change_widget = self.side_widgets.add( text_change_widget.TextChangeWidget) self.show_text_changes(settings.SHOW_TEXT_CHANGES) # Breakpoints/bookmarks widget self._marker_area = self.side_widgets.add(marker_widget.MarkerWidget) # Line number widget self._line_number_widget = self.side_widgets.add( line_number_widget.LineNumberWidget) self.show_line_numbers(settings.SHOW_LINE_NUMBERS) # Code folding self.side_widgets.add(code_folding.CodeFoldingWidget) # FIXME: we need a method to initialize # self.__set_whitespaces_flags(self.__show_whitespaces) self.cursorPositionChanged.connect(self._on_cursor_position_changed) self.blockCountChanged.connect(self.update)
def __init__(self, neditable): QPlainTextEdit.__init__(self) self.setFrameStyle(0) # Remove border self._neditable = neditable self.setMouseTracking(True) # Style self._background_color = QColor( resources.get_color('EditorBackground')) self._foreground_color = QColor(resources.get_color('Default')) self._selection_color = QColor( resources.get_color('EditorSelectionColor')) self._selection_background_color = QColor( resources.get_color('EditorSelectionBackground')) self.__apply_style() self._init_settings() self._highlighter = None self.__visible_blocks = [] self._last_line_position = 0 self.__encoding = None self.__show_whitespaces = settings.SHOW_TABS_AND_SPACES self.__side_widgets = [] # Extra Selections self._extra_selections = OrderedDict() self._current_line_selection = None self.__checker_extra_selections = [] self.__occurrences = [] # Load indenter based on language self._indenter = indenter.load_indenter(self, neditable.language()) # Set editor font before build lexer self.set_font(settings.FONT) self.register_syntax_for(neditable.language()) # Register all editor extension self.initialize_extensions() # FIXME: based on lang self.enable_extension('indentation_guides', settings.SHOW_INDENTATION_GUIDE) self.enable_extension('margin_line', settings.SHOW_MARGIN_LINE) self.enable_extension('line_highlighter', True) self.enable_extension('symbol_highlighter', True) self.enable_extension('quotes', True) self.enable_extension('braces', True) # self._symbol_completer = symbol_completer.SymbolCompleter(self) # Mark occurrences timer self._highlight_word_timer = QTimer() self._highlight_word_timer.setSingleShot(True) self._highlight_word_timer.setInterval(800) self._highlight_word_timer.timeout.connect( self.highlight_selected_word) # Install custom scrollbar self._scrollbar = scrollbar.NScrollBar(self) self._scrollbar.setAttribute(Qt.WA_OpaquePaintEvent, False) self.setVerticalScrollBar(self._scrollbar) self.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) self.additional_builtins = None # Set the editor after initialization if self._neditable is not None: if self._neditable.editor: self.setDocument(self._neditable.document) else: self._neditable.set_editor(self) self._neditable.checkersUpdated.connect(self._highlight_checkers) # Widgets on side area self._line_number_area = None if settings.SHOW_LINE_NUMBERS: self._line_number_area = self.add_side_widget( line_number_area.LineNumberArea, 2) self._lint_area = None # if settings.SHOW_LINT_AREA: # self._lint_area = self.add_side_widget(lint_area.LintArea, 3) self._marker_area = None # if settings.SHOW_MARK_AREA: # self._marker_area = self.add_side_widget(marker_area.MarkerArea, 1) self._text_change_area = None if settings.SHOW_TEXT_CHANGE_AREA: self._text_change_area = self.add_side_widget( text_change_area.TextChangeArea, 0) # FIXME: we need a method to initialize self.__set_whitespaces_flags(self.__show_whitespaces) self.cursorPositionChanged.connect(self._on_cursor_position_changed) self.cursorPositionChanged.connect(self.viewport().update)
def __init__(self, neditable): super().__init__() self.setFrameStyle(QFrame.NoFrame) self._neditable = neditable self.allow_word_wrap(False) self.setMouseTracking(True) self.setCursorWidth(2) self.__encoding = None self._highlighter = None self._last_line_position = 0 # Extra Selections self._extra_selections = ExtraSelectionManager(self) # Load indenter based on language self._indenter = indenter.load_indenter(self, neditable.language()) # Widgets on side area self.side_widgets = manager.SideWidgetManager(self) self.__link_pressed = False # Set editor font before build lexer self.set_font(settings.FONT) # Register extensions self.__extensions = {} # Brace matching self._brace_matching = self.register_extension( symbol_highlighter.SymbolHighlighter) self.brace_matching = settings.BRACE_MATCHING # Current line highlighter self._line_highlighter = self.register_extension( line_highlighter.CurrentLineHighlighter) self.highlight_current_line = settings.HIGHLIGHT_CURRENT_LINE # Right margin line self._margin_line = self.register_extension(margin_line.RightMargin) self.margin_line = settings.SHOW_MARGIN_LINE self.margin_line_position = settings.MARGIN_LINE self.margin_line_background = settings.MARGIN_LINE_BACKGROUND # Indentation guides self._indentation_guides = self.register_extension( indentation_guides.IndentationGuide) self.show_indentation_guides(settings.SHOW_INDENTATION_GUIDES) # Autocomplete braces self.__autocomplete_braces = self.register_extension( braces.AutocompleteBraces) self.autocomplete_braces(settings.AUTOCOMPLETE_BRACKETS) # Autocomplete quotes self.__autocomplete_quotes = self.register_extension( quotes.AutocompleteQuotes) self.autocomplete_quotes(settings.AUTOCOMPLETE_QUOTES) # Calltips # self.register_extension(calltip.CallTips) # Highlight word under cursor self.__word_occurrences = [] self._highlight_word_timer = QTimer() self._highlight_word_timer.setSingleShot(True) self._highlight_word_timer.setInterval(1000) self._highlight_word_timer.timeout.connect( self.highlight_selected_word) # Install custom scrollbar self._scrollbar = scrollbar.NScrollBar(self) self._scrollbar.setAttribute(Qt.WA_OpaquePaintEvent, False) self.setVerticalScrollBar(self._scrollbar) self.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) self.additional_builtins = None # Set the editor after initialization if self._neditable is not None: if self._neditable.editor: self.setDocument(self._neditable.document) else: self._neditable.set_editor(self) self._neditable.checkersUpdated.connect(self._highlight_checkers) self.cursorPositionChanged.connect(self._on_cursor_position_changed) self.blockCountChanged.connect(self.update) # Mark text changes self._text_change_widget = self.side_widgets.add( text_change_widget.TextChangeWidget) self.show_text_changes(settings.SHOW_TEXT_CHANGES) # Breakpoints/bookmarks widget self._marker_area = self.side_widgets.add( marker_widget.MarkerWidget) # Line number widget self._line_number_widget = self.side_widgets.add( line_number_widget.LineNumberWidget) self.show_line_numbers(settings.SHOW_LINE_NUMBERS) # Code folding self.side_widgets.add(code_folding.CodeFoldingWidget) from ninja_ide.gui.editor import intellisense_assistant as ia self._iassistant = None intellisense = IDE.get_service("intellisense") if intellisense is not None: if intellisense.provider_services(self._neditable.language()): self._iassistant = ia.IntelliSenseAssistant(self)
def __init__(self, neditable): super().__init__() self.setFrameStyle(QFrame.NoFrame) self._neditable = neditable self.allow_word_wrap(False) self.setMouseTracking(True) self.setCursorWidth(2) self.__encoding = None self._highlighter = None self._last_line_position = 0 # Extra Selections self._extra_selections = ExtraSelectionManager(self) # Load indenter based on language self._indenter = indenter.load_indenter(self, neditable.language()) # Widgets on side area self.side_widgets = manager.SideWidgetManager(self) self.__link_pressed = False # Set editor font before build lexer self.set_font(settings.FONT) # Register extensions self.__extensions = {} # Brace matching self._brace_matching = self.register_extension( symbol_highlighter.SymbolHighlighter) self.brace_matching = settings.BRACE_MATCHING # Current line highlighter self._line_highlighter = self.register_extension( line_highlighter.CurrentLineHighlighter) self.highlight_current_line = settings.HIGHLIGHT_CURRENT_LINE # Right margin line self._margin_line = self.register_extension(margin_line.RightMargin) self.margin_line = settings.SHOW_MARGIN_LINE self.margin_line_position = settings.MARGIN_LINE self.margin_line_background = settings.MARGIN_LINE_BACKGROUND # Indentation guides self._indentation_guides = self.register_extension( indentation_guides.IndentationGuide) self.show_indentation_guides(settings.SHOW_INDENTATION_GUIDES) # Autocomplete braces self.__autocomplete_braces = self.register_extension( braces.AutocompleteBraces) self.autocomplete_braces(settings.AUTOCOMPLETE_BRACKETS) # Autocomplete quotes self.__autocomplete_quotes = self.register_extension( quotes.AutocompleteQuotes) self.autocomplete_quotes(settings.AUTOCOMPLETE_QUOTES) # Calltips # self.register_extension(calltip.CallTips) # Highlight word under cursor self.__word_occurrences = [] self._highlight_word_timer = QTimer() self._highlight_word_timer.setSingleShot(True) self._highlight_word_timer.setInterval(1000) self._highlight_word_timer.timeout.connect( self.highlight_selected_word) # Install custom scrollbar self._scrollbar = scrollbar.NScrollBar(self) self._scrollbar.setAttribute(Qt.WA_OpaquePaintEvent, False) self.setVerticalScrollBar(self._scrollbar) self.setVerticalScrollBarPolicy(Qt.ScrollBarAlwaysOn) self.additional_builtins = None # Set the editor after initialization if self._neditable is not None: if self._neditable.editor: self.setDocument(self._neditable.document) else: self._neditable.set_editor(self) self._neditable.checkersUpdated.connect(self._highlight_checkers) self.cursorPositionChanged.connect(self._on_cursor_position_changed) self.blockCountChanged.connect(self.update) # Mark text changes self._text_change_widget = self.side_widgets.add( text_change_widget.TextChangeWidget) self.show_text_changes(settings.SHOW_TEXT_CHANGES) # Breakpoints/bookmarks widget self._marker_area = self.side_widgets.add( marker_widget.MarkerWidget) # Line number widget self._line_number_widget = self.side_widgets.add( line_number_widget.LineNumberWidget) self.show_line_numbers(settings.SHOW_LINE_NUMBERS) # Code folding self.side_widgets.add(code_folding.CodeFoldingWidget) from ninja_ide.gui.editor import intellisense_assistant as ia self._iassistant = None intellisense = IDE.get_service("intellisense") if intellisense is not None: if intellisense.provider_services(self._neditable.language()): self._iassistant = ia.IntelliSenseAssistant(self)