def __init__(self): QWidget.__init__(self) self.__programs = [] vbox = QVBoxLayout(self) vbox.setContentsMargins(0, 0, 0, 0) vbox.setSpacing(0) connections = ( { "target": "tools_dock", "signal_name": "executeFile", "slot": self.execute_file }, { "target": "tools_dock", "signal_name": "executeProject", "slot": self.execute_project }, { "target": "tools_dock", "signal_name": "executeSelection", "slot": self.execute_selection }, { "target": "tools_dock", "signal_name": "stopApplication", "slot": self.kill_application } ) IDE.register_signals("tools_dock", connections) self._tabs = QTabWidget() self._tabs.setTabsClosable(True) self._tabs.setMovable(True) self._tabs.setDocumentMode(True) vbox.addWidget(self._tabs) # Menu for tab self._tabs.tabBar().setContextMenuPolicy(Qt.CustomContextMenu) self._tabs.tabBar().customContextMenuRequested.connect( self._menu_for_tabbar) self._tabs.tabCloseRequested.connect(self.close_tab) IDE.register_service("run_widget", self) _ToolsDock.register_widget(translations.TR_OUTPUT, 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 __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__(parent) _ToolsDock.register_widget(translations.TR_FIND_IN_FILES, self)
def __init__(self, parent=None): super().__init__(parent) _ToolsDock.register_widget(translations.TR_FIND_IN_FILES, self)