Example #1
0
    def __init__(self, parent=None):
        super(Main, self).__init__(parent)
        self.editor = Editor()
        self.tab = Tab()
        self.tab.setStyleSheet("""
        QTabWidget::pane {background: #272727;}
        QTabWidget::tab-bar:top {top: 1px;}
        QTabWidget::tab-bar:bottom {bottom: 1px;}
        QTabWidget::tab-bar:left {right: 1px;}
        QTabWidget::tab-bar:right {left: 1px;}
        QTabBar{background-color: #1b1b1b; qproperty-drawBase:0;  }

        QTabBar::tab {border: 1px #1b1b1b;}
        QTabBar::tab:selected {background: #2b2b2b;color: #bbbbbb;}
        QTabBar::tab:!selected {background: #3c3e3f;color: #bbbbbb;}
        QTabBar::tab:bottom:!selected {margin-bottom: 3px;}
        QTabBar::tab:top, QTabBar::tab:bottom {
            min-width: 8ex;
            margin-right: -1px;
            padding: 5px 10px 5px 10px;}
        """)

        self.set_window_ui()
        self.set_menu()
        self.setCentralWidget(self.tab)
        self.setUnifiedTitleAndToolBarOnMac(True)
Example #2
0
    def __init__(self):
        super(Tab, self).__init__()
        self.setTabsClosable(True)
        self.setMovable(True)
        self.tabCloseRequested.connect(self.removeTab)
        self.setDocumentMode(True)
        self.setUsesScrollButtons(True)

        self.addTab(Editor(), 'Untitled')
 def try_add_tab(self, filename):
     if filename not in self.tab.tab_container:
         file_name = os.path.basename(filename)
         editor = Editor(
             self, filename, self.add_breakpoint, self.remove_breakpoint
         )
         with open(filename, "r") as text:
             self.tab.addTab(editor, file_name)
             editor.setText(text.read())
         self.tab.tab_container[filename] = editor
     self.tab.setCurrentWidget(self.tab.tab_container[filename])
Example #4
0
 def _open_file(self):
     """Open file and set it in a new tab or in current if tab is empty"""
     file = QFileDialog.getOpenFileName(self, 'Open file', ".")[0]
     if file:
         file_name = str(file).split('/')[
             -1]  # Need to create version for Windows
         with open(file, 'rt') as text:
             if self.tab.currentWidget().text(
             ):  # If current Tab is not empty
                 self.tab.addTab(Editor(), file_name)
                 self.tab.setCurrentIndex(self.tab.currentIndex() + 1)
                 self.tab.currentWidget().setText(text.read())
             else:
                 self.tab.currentWidget().setText(text.read())
                 self.tab.setTabText(self.tab.currentIndex(), file_name)
             try:
                 lexer = lexers.get_lexer_by_ext(file_name)
                 self.tab.currentWidget().setLexer(lexer())
             except:
                 pass
Example #5
0
    def __init__(self, parent=None):
        super(MainAppCompiB, self).__init__(parent)
        self.editor = Editor()

        tiny_lexer = LexerTiny(self.editor)
        self.editor.setLexer(tiny_lexer)

        # CONFIGURACIONES INICIALES DE LA VENTANA PRINCIPAL
        self.set_init_window_ui()
        self.create_actions()
        self.set_menu()
        self.set_toolBar()
        #####
        self.create_dockTabSim()
        self.create_dockTokens()
        self.create_dockAnalisis()
        self.create_dockTabAcciones()

        #####
        self.setUnifiedTitleAndToolBarOnMac(True)

        # INICIALIZACION DEL EDITOR DE CODIGO
        self.setCentralWidget(self.editor)
Example #6
0
 def _new_file(self):
     """Creating new file in new tab"""
     self.tab.addTab(Editor(), "Untitled")
     self.tab.setCurrentIndex(self.tab.currentIndex() + 1)