def getTerminal(self, cmd = None):
''' Factory '''
from QTermWidget import QTermWidget
if not cmd:
term = QTermWidget(1)
else:
term = QTermWidget(0)
term.setShellProgram(cmd)
term.startShellProgram()
term.setScrollBarPosition(QTermWidget.ScrollBarRight)
term.finished.connect(self.on_terminal_finished)
term.setColorScheme(self.parent().colorScheme)
term.setTerminalFont(self.parent().font)
term.installEventFilter(self)
return term
def toggleConsole(self):
if not self.terminal:
terminal = QTermWidget()
terminal.setScrollBarPosition(QTermWidget.ScrollBarRight)
terminal.setColorScheme(1)
terminal.sendText("export TERM='xterm'\nclear\n")
self.terminal = Dialog(_("Terminal"), terminal, True, QKeySequence(Qt.Key_F11))
self.terminal.resize(700, 500)
self.terminal.exec_()
def initPlugin(self, signalproxy):
"""Init function - called when pluginloader loads plugin."""
self.signalproxy = signalproxy
# create and place DockWidget in mainwindow using signalproxy
self.widget = QtGui.QDockWidget(None)
self.widget.setObjectName("QTermWidget")
self.widget.setWindowTitle(
QtGui.QApplication.translate("MainWindow", "Shell", None,
QtGui.QApplication.UnicodeUTF8))
self.signalproxy.addDockWidget(Qt.BottomDockWidgetArea, self.widget)
self.term = QTermWidget()
self.signalproxy.insertDockWidget(self, self.term, "Terminal",
Qt.BottomDockWidgetArea, True)
self.widget.visibilityChanged.connect(self.initQTermWidget)
def __init__(self, settingGroup, parent=None):
QtGui.QWidget.__init__(self, parent)
SettingsTreeNode.__init__(self, "terminal", settingGroup)
self.setupUi(self)
try:
from QTermWidget import QTermWidget
except ImportError:
return
t = QTermWidget()
self.comboScrollBar.addItem(_("No scrollbar"), t.NoScrollBar)
self.comboScrollBar.addItem(_("Left scrollbar"), t.ScrollBarLeft)
self.comboScrollBar.addItem(_("Right scrollbar"), t.ScrollBarRight)
for name in t.availableColorSchemes():
self.comboColorScheme.addItem(name, name)
del t
def setupUi(self, MainWindow):
self.filename = "untitled"
self.temptab="NewTest.C"
self.changesSaved = True
self._process = []
self.num=21
self.out12=""
MainWindow.setObjectName("MainWindow")
MainWindow.closeEvent = self.closeEvent
MainWindow.resize(1279, 724)
MainWindow.setAcceptDrops(False)
MainWindow.setAutoFillBackground(False)
MainWindow.setStyleSheet("background-color: #31363b;color: white;padding-left: 0.4ex;spacing: 0.2ex;border: 0.1ex dashed #76797c;")
MainWindow.showMaximized()
self.centralwidget = QtWidgets.QWidget(MainWindow)
self.centralwidget.setObjectName("centralwidget")
self.horizontalLayout_3 = QtWidgets.QHBoxLayout(self.centralwidget)
self.horizontalLayout_3.setContentsMargins(1, 1, 4, 0)
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
self.splitter_2 = QtWidgets.QSplitter(self.centralwidget)
self.splitter_2.setOrientation(QtCore.Qt.Horizontal)
self.splitter_2.setHandleWidth(10)
self.splitter_2.setObjectName("splitter_2")
self.splitter_2.setStyleSheet("background-color: #232629;")
#Tree View
self.treeView = QtWidgets.QTreeView(self.splitter_2)
path = QDir.rootPath()
self.dirModel = QFileSystemModel()
self.dirModel.setRootPath(QDir.rootPath())
self.dirModel.setFilter(QDir.NoDotAndDotDot | QDir.AllDirs)
self.fileModel = QFileSystemModel()
self.fileModel.setFilter(QDir.NoDotAndDotDot | QDir.Files)
self.model = QtWidgets.QFileSystemModel()
self.model.setRootPath((QtCore.QDir.rootPath()))
self.treeView.setModel(self.model)
self.treeView.setRootIndex(self.dirModel.index(path))
self.treeView.clicked.connect(self.on_clicked)
self.treeView.setGeometry(QtCore.QRect(0, 0, 270, 921))
self.treeView.setStyleSheet("background-color: #232629;;color: #eff0f1;border-radius: 0.2ex;border: 0.1ex solid #76797c;")
self.treeView.setObjectName("treeView")
self.treeView.hideColumn(1)
self.treeView.hideColumn(2)
self.treeView.hideColumn(3)
#Tree View
self.splitter = QtWidgets.QSplitter(self.splitter_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(1)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.splitter.sizePolicy().hasHeightForWidth())
self.splitter.setSizePolicy(sizePolicy)
self.splitter.setOrientation(QtCore.Qt.Vertical)
self.splitter.setHandleWidth(10)
self.splitter.setObjectName("splitter")
self.splitter.setStyleSheet("background-color: #232629;")
self.frame = QtWidgets.QFrame(self.splitter)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(2)
sizePolicy.setHeightForWidth(self.frame.sizePolicy().hasHeightForWidth())
self.frame.setSizePolicy(sizePolicy)
self.frame.setStyleSheet("background-color: #232629;")
self.frame.setFrameShape(QtWidgets.QFrame.StyledPanel)
self.frame.setFrameShadow(QtWidgets.QFrame.Raised)
self.frame.setObjectName("frame")
self.horizontalLayout = QtWidgets.QHBoxLayout(self.frame)
self.horizontalLayout.setContentsMargins(0, 0, 0, 0)
self.horizontalLayout.setSpacing(0)
self.horizontalLayout.setObjectName("horizontalLayout")
self.tabWidget_2 = QtWidgets.QTabWidget(self.frame)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.tabWidget_2.sizePolicy().hasHeightForWidth())
self.tabWidget_2.setSizePolicy(sizePolicy)
self.tabWidget_2.setStyleSheet("background-color: #232629;;color: #eff0f1;border-radius: 0.2ex;border: 0.1ex solid #76797c;")
self.tabWidget_2.setObjectName("tabWidget_2")
self.tab = QtWidgets.QWidget()
self.tab.setObjectName("tab")
self.verticalLayout_7 = QtWidgets.QVBoxLayout(self.tab)
self.verticalLayout_7.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_7.setSpacing(0)
self.verticalLayout_7.setObjectName("verticalLayout_7")
self.plainTextEdit=LineNumber_dark.QCodeEditor(self.tab)
self.highlighter=hightest_dark.Highlighter(self.plainTextEdit.document())
self.plainTextEdit.setStyleSheet("background-color: #232629;;color: #eff0f1;border-radius: 0.2ex;border: 0.1ex solid #76797c;")
self.plainTextEdit.setObjectName("plainTextEdit")
self.plainTextEdit.textChanged.connect(self.changed)
self.verticalLayout_7.addWidget(self.plainTextEdit)
self.tabWidget_2.addTab(self.tab, "")
self.horizontalLayout.addWidget(self.tabWidget_2)
self.frame_3 = QtWidgets.QFrame(self.splitter)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(2)
sizePolicy.setHeightForWidth(self.frame_3.sizePolicy().hasHeightForWidth())
self.frame_3.setSizePolicy(sizePolicy)
self.frame_3.setStyleSheet("background-color: #232629;")
self.frame_3.setFrameShape(QtWidgets.QFrame.StyledPanel)
self.frame_3.setFrameShadow(QtWidgets.QFrame.Raised)
self.frame_3.setObjectName("frame_3")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.frame_3)
self.horizontalLayout_2.setContentsMargins(0, 0, 0, 0)
self.horizontalLayout_2.setSpacing(0)
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.tabWidget = QtWidgets.QTabWidget(self.frame_3)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.tabWidget.sizePolicy().hasHeightForWidth())
self.tabWidget.setSizePolicy(sizePolicy)
self.tabWidget.setStyleSheet("background-color: #232629;;color: #eff0f1;border-radius: 0.2ex;border: 0.1ex solid #76797c;")
self.tabWidget.setTabShape(QtWidgets.QTabWidget.Rounded)
self.tabWidget.setObjectName("tabWidget")
self.tab1 = QTermWidget()
self.tab1.setScrollBarPosition(self.tab1.ScrollBarRight)
self.tab1.setColorScheme("WhiteOnBlack")
self.tabWidget.addTab(self.tab1, "Terminal")
self.tab_3 = QtWidgets.QWidget()
self.tab_3.setObjectName("tab_3")
self.verticalLayout_7 = QtWidgets.QVBoxLayout(self.tab_3)
self.verticalLayout_7.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_7.setSpacing(0)
self.verticalLayout_7.setObjectName("verticalLayout_7")
self.plainTextEdit23=QtWidgets.QPlainTextEdit(self.tab_3)
self.plainTextEdit23.setStyleSheet("background-color: #232629;;color: #eff0f1;border-radius: 0.2ex;border: 0.1ex solid #76797c;")
self.plainTextEdit23.setObjectName("plainTextEdit23")
self.verticalLayout_7.addWidget(self.plainTextEdit23)
self.tabWidget.addTab(self.tab_3, "")
self.horizontalLayout_2.addWidget(self.tabWidget)
self.horizontalLayout_3.addWidget(self.splitter_2)
self.verticalLayout_6 = QtWidgets.QVBoxLayout()
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.verticalLayout = QtWidgets.QVBoxLayout()
self.verticalLayout.setSpacing(0)
self.verticalLayout.setObjectName("verticalLayout")
self.label_3 = QtWidgets.QLabel(self.centralwidget)
font = QtGui.QFont()
font.setPointSize(12)
self.label_3.setFont(font)
self.label_3.setLayoutDirection(QtCore.Qt.LeftToRight)
self.label_3.setStyleSheet("background-color: #008000;\n"
"color: rgb(255, 255, 255);\n"
"border-top-left-radius: 18px;\n"
"border-top-right-radius: 18px;\n"
"text-align: center;")
self.label_3.setTextFormat(QtCore.Qt.AutoText)
self.label_3.setAlignment(QtCore.Qt.AlignCenter)
self.label_3.setWordWrap(False)
self.label_3.setObjectName("label_3")
self.verticalLayout.addWidget(self.label_3)
self.plainTextEdit_2 = QtWidgets.QPlainTextEdit(self.centralwidget)
self.plainTextEdit_2.setStyleSheet("background-color: #232629;;color: #eff0f1;border-radius: 0.2ex;border: 0.1ex solid #76797c;")
self.plainTextEdit_2.setObjectName("plainTextEdit_2")
self.verticalLayout.addWidget(self.plainTextEdit_2)
self.verticalLayout.setStretch(0, 1)
self.verticalLayout.setStretch(1, 8)
self.verticalLayout_6.addLayout(self.verticalLayout)
self.verticalLayout_2 = QtWidgets.QVBoxLayout()
self.verticalLayout_2.setSpacing(0)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.label_2 = QtWidgets.QLabel(self.centralwidget)
font = QtGui.QFont()
font.setPointSize(12)
self.label_2.setFont(font)
self.label_2.setStyleSheet("background-color: #008000;\n"
"color: rgb(255, 255, 255);\n"
"border-top-left-radius: 18px;\n"
"border-top-right-radius: 18px;\n"
"text-align: center;")
self.label_2.setAlignment(QtCore.Qt.AlignCenter)
self.label_2.setObjectName("label_2")
self.verticalLayout_2.addWidget(self.label_2)
self.plainTextEdit_3 = QtWidgets.QPlainTextEdit(self.centralwidget)
self.plainTextEdit_3.setStyleSheet("background-color: #232629;;color: #eff0f1;border-radius: 0.2ex;border: 0.1ex solid #76797c;")
self.plainTextEdit_3.setObjectName("plainTextEdit_3")
self.verticalLayout_2.addWidget(self.plainTextEdit_3)
self.verticalLayout_2.setStretch(0, 1)
self.verticalLayout_2.setStretch(1, 8)
self.verticalLayout_6.addLayout(self.verticalLayout_2)
self.horizontalLayout_3.addLayout(self.verticalLayout_6)
self.horizontalLayout_3.setStretch(0, 5)
MainWindow.setCentralWidget(self.centralwidget)
self.menubar = QtWidgets.QMenuBar(MainWindow)
self.menubar.setGeometry(QtCore.QRect(0, 0, 1279, 22))
self.menubar.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menubar.setObjectName("menubar")
self.menuFile = QtWidgets.QMenu(self.menubar)
self.menuFile.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menuFile.setObjectName("menuFile")
self.menuEdit = QtWidgets.QMenu(self.menubar)
self.menuEdit.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menuEdit.setObjectName("menuEdit")
self.menuSettings = QtWidgets.QMenu(self.menubar)
self.menuSettings.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menuSettings.setObjectName("menuSettings")
self.menuTheme_select = QtWidgets.QMenu(self.menuSettings)
icon227 = QtGui.QIcon()
icon227.addPixmap(QtGui.QPixmap("Choose_theme-512.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.menuTheme_select.setIcon(icon227)
self.menuTheme_select.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menuTheme_select.setObjectName("menuTheme_select")
self.menuAbout = QtWidgets.QMenu(self.menubar)
self.menuAbout.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menuAbout.setObjectName("menuAbout")
self.menuRun = QtWidgets.QMenu(self.menubar)
self.menuRun.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menuRun.setObjectName("menuRun")
self.menuSelect_Core = QtWidgets.QMenu(self.menuRun)
icon231=QtGui.QIcon()
icon231.addPixmap(QtGui.QPixmap(":/Icons/icons8-microchip-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.menuSelect_Core.setIcon(icon231)
self.menuSelect_Core.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menuSelect_Core.setObjectName("menuSelect_Core")
self.menuExtensions = QtWidgets.QMenu(self.menubar)
self.menuExtensions.setStyleSheet("background-color: #31363b; color: #eff0f1;")
self.menuExtensions.setObjectName("menuExtensions")
MainWindow.setMenuBar(self.menubar)
self.toolButton = QtWidgets.QToolButton()
self.toolButton.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
self.toolButton.setStyleSheet("background-color: #232629;;color: #eff0f1;border-radius: 0.2ex;border: 0.1ex solid #76797c;")
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/Icons/icons8-microchip-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.toolButton.setIcon(icon)
self.toolButton.setIconSize(QtCore.QSize(45, 24))
self.toolButton.setPopupMode(QtWidgets.QToolButton.InstantPopup)
self.toolButton.setObjectName("toolButton")
self.toolBar = QtWidgets.QToolBar(MainWindow)
self.toolBar.setCursor(QtGui.QCursor(QtCore.Qt.PointingHandCursor))
self.toolBar.setAcceptDrops(False)
self.toolBar.setLayoutDirection(QtCore.Qt.RightToLeft)
self.toolBar.setStyleSheet("border: 0.1ex transparent #393838;background: 0.1ex solid #31363b;font-weight: bold;")
self.toolBar.setMovable(False)
self.toolBar.setAllowedAreas(QtCore.Qt.NoToolBarArea)
self.toolBar.setIconSize(QtCore.QSize(45, 24))
self.toolBar.setObjectName("toolBar")
MainWindow.addToolBar(QtCore.Qt.TopToolBarArea, self.toolBar)
self.statusBar = QtWidgets.QStatusBar(MainWindow)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.statusBar.sizePolicy().hasHeightForWidth())
self.statusBar.setSizePolicy(sizePolicy)
self.statusBar.setStyleSheet("background-color: rgb(0,128,0,75%);")
self.statusBar.setObjectName("statusBar")
MainWindow.setStatusBar(self.statusBar)
self.spacer=QtWidgets.QWidget()
self.spacer.setSizePolicy(QSizePolicy.Expanding, QSizePolicy.Expanding)
self.uit = QtWidgets.QAction(MainWindow)
icon22 = QtGui.QIcon()
icon22.addPixmap(QtGui.QPixmap("uit.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.uit.setIcon(icon22)
self.uit.setShortcutVisibleInContextMenu(True)
self.uit.setObjectName("actionNew")
self.uit.triggered.connect(self.open_uit)
self.merl = QtWidgets.QAction(MainWindow)
icon23 = QtGui.QIcon()
icon23.addPixmap(QtGui.QPixmap("merl.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.merl.setIcon(icon23)
self.merl.setShortcutVisibleInContextMenu(True)
self.merl.setObjectName("actionNew")
self.merl.triggered.connect(self.open_site)
self.About = QtWidgets.QAction(MainWindow)
icon21 = QtGui.QIcon()
icon21.addPixmap(QtGui.QPixmap("About_logo.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.About.setIcon(icon21)
self.About.setShortcutVisibleInContextMenu(True)
self.About.setObjectName("actionNew")
self.About.triggered.connect(self.about_dark)
self.actionNew = QtWidgets.QAction(MainWindow)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/Icons/icons8-add-property-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionNew.setIcon(icon1)
self.actionNew.setShortcutVisibleInContextMenu(True)
self.actionNew.setObjectName("actionNew")
self.actionNew.triggered.connect(self.untitled)
self.actionOpen = QtWidgets.QAction(MainWindow)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/Icons/icons8-upload-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionOpen.setIcon(icon2)
self.actionOpen.setObjectName("actionOpen")
self.actionOpen.triggered.connect(self.open_dialog_box)
self.actionsave = QtWidgets.QAction(MainWindow)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/Icons/icons8-save-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionsave.setIcon(icon3)
self.actionsave.setShortcutVisibleInContextMenu(True)
self.actionsave.setObjectName("actionsave")
self.actionsave.triggered.connect(self.save_temp)
self.actionsave.setShortcut("Ctrl+s")
self.actionundo = QtWidgets.QAction(MainWindow)
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(":/Icons/icons8-undo-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionundo.setIcon(icon4)
self.actionundo.setVisible(True)
self.actionundo.setShortcut("Ctrl+Z")
self.actionundo.triggered.connect(self.plainTextEdit.undo)
self.actionundo.setShortcutVisibleInContextMenu(True)
self.actionundo.setObjectName("actionundo")
self.actionRedo = QtWidgets.QAction(MainWindow)
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(":/Icons/icons8-redo-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionRedo.setIcon(icon5)
self.actionRedo.setShortcutVisibleInContextMenu(True)
self.actionRedo.setObjectName("actionRedo")
self.actionRedo.setShortcut("Ctrl+Shift+Z")
self.actionRedo.triggered.connect(self.plainTextEdit.redo)
self.actioncut = QtWidgets.QAction(MainWindow)
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(":/Icons/icons8-cut-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actioncut.setIcon(icon6)
self.actioncut.setShortcutVisibleInContextMenu(True)
self.actioncut.setShortcut("Ctrl+X")
self.actioncut.triggered.connect(self.plainTextEdit.cut)
self.actioncut.setObjectName("actioncut")
self.actioncopy = QtWidgets.QAction(MainWindow)
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(":/Icons/icons8-copy-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actioncopy.setIcon(icon7)
self.actioncopy.setShortcutVisibleInContextMenu(True)
self.actioncopy.setObjectName("actioncopy")
self.actioncopy.setShortcut("Ctrl+C")
self.actioncopy.triggered.connect(self.plainTextEdit.copy)
self.actionpaste = QtWidgets.QAction(MainWindow)
icon8 = QtGui.QIcon()
icon8.addPixmap(QtGui.QPixmap(":/Icons/icons8-paste-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionpaste.setIcon(icon8)
self.actionpaste.setShortcutVisibleInContextMenu(True)
self.actionpaste.setObjectName("actionpaste")
self.actionpaste.setShortcut("Ctrl+V")
self.actionpaste.triggered.connect(self.plainTextEdit.paste)
self.actionFind = QtWidgets.QAction(MainWindow)
icon9 = QtGui.QIcon()
icon9.addPixmap(QtGui.QPixmap(":/Icons/icons8-search-property-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionFind.setIcon(icon9)
self.actionFind.setShortcutVisibleInContextMenu(True)
self.actionFind.setObjectName("actionFind")
self.actionFind.setShortcut("Ctrl+F")
self.actionFind.triggered.connect(find.Find(self.plainTextEdit).show)
self.actionDark = QtWidgets.QAction(MainWindow)
self.actionDark.setObjectName("actionDark")
self.actionMERL = QtWidgets.QAction(MainWindow)
icon228 = QtGui.QIcon()
icon228.addPixmap(QtGui.QPixmap("merl.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionMERL.setIcon(icon228)
self.actionMERL.setObjectName("actionMERL")
self.actionMERL.triggered.connect(self.open_site)
self.actionhelp = QtWidgets.QAction(MainWindow)
self.actionhelp.setObjectName("actionhelp")
icon229 = QtGui.QIcon()
icon229.addPixmap(QtGui.QPixmap("About_logo.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionhelp.setIcon(icon229)
self.actionhelp.triggered.connect(self.about_dark)
self.actionRun = QtWidgets.QAction(MainWindow)
icon11 = QtGui.QIcon()
icon11.addPixmap(QtGui.QPixmap(":/Icons/icons8-play-property-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionRun.setIcon(icon11)
self.actionRun.setObjectName("actionRun")
self.actionRun.triggered.connect(self.run_Burq)
self.actionRun.setEnabled(False)
self.actionSave_As = QtWidgets.QAction(MainWindow)
icon13 = QtGui.QIcon()
icon13.addPixmap(QtGui.QPixmap(":/Icons/icons8-save-as-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionSave_As.setIcon(icon13)
self.actionSave_As.setObjectName("actionSave_As")
self.actionsave.triggered.connect(self.saveAs)
self.actionsave.setShortcut("Ctrl+Shift+s")
self.actionHigh_Contrast = QtWidgets.QAction(MainWindow)
self.actionHigh_Contrast.setObjectName("actionHigh_Contrast")
self.actionHigh_Contrast.triggered.connect(self.light_theme)
self.actionChisel_Core = QtWidgets.QAction(MainWindow)
icon14 = QtGui.QIcon()
icon14.addPixmap(QtGui.QPixmap(":/Icons/icons8-nail-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionChisel_Core.setIcon(icon14)
self.actionChisel_Core.setObjectName("actionChisel_Core")
self.actionVerilog = QtWidgets.QAction(MainWindow)
self.actionVerilog.setObjectName("actionVerilog")
icon230 = QtGui.QIcon()
icon230.addPixmap(QtGui.QPixmap("Verilator_logo.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionVerilog.setIcon(icon230)
self.actionDebug = QtWidgets.QAction(MainWindow)
icon15 = QtGui.QIcon()
icon15.addPixmap(QtGui.QPixmap(":/Icons/icons8-bug-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionDebug.setIcon(icon15)
self.actionDebug.setObjectName("actionDebug")
self.actionDebug.triggered.connect(self.termclose)
self.actionCompile = QtWidgets.QAction(MainWindow)
icon16 = QtGui.QIcon()
icon16.addPixmap(QtGui.QPixmap(":/Icons/icons8-new-property-100.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionCompile.setIcon(icon16)
self.actionCompile.setObjectName("actionCompile")
self.actionCompile.triggered.connect(self.compile_Code)
self.actionB_I = QtWidgets.QAction(MainWindow)
self.actionB_I.setObjectName("actionB_I")
icon232=QtGui.QIcon()
icon232.addPixmap(QtGui.QPixmap("micro.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionB_I.setIcon(icon232)
self.actionB_I_C = QtWidgets.QAction(MainWindow)
self.actionB_I_C.setObjectName("actionB_I_C")
icon233=QtGui.QIcon()
icon233.addPixmap(QtGui.QPixmap("micro1.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionB_I_C.setIcon(icon233)
self.actionB_I_M = QtWidgets.QAction(MainWindow)
self.actionB_I_M.setObjectName("actionB_I_M")
icon234=QtGui.QIcon()
icon234.addPixmap(QtGui.QPixmap("micro2.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.actionB_I_M.setIcon(icon234)
self.menuFile.addAction(self.actionNew)
self.menuFile.addAction(self.actionOpen)
self.menuFile.addAction(self.actionsave)
self.menuFile.addAction(self.actionSave_As)
self.menuEdit.addAction(self.actionundo)
self.menuEdit.addAction(self.actionRedo)
self.menuEdit.addAction(self.actioncut)
self.menuEdit.addAction(self.actioncopy)
self.menuEdit.addAction(self.actionpaste)
self.menuEdit.addAction(self.actionFind)
self.menuTheme_select.addAction(self.actionDark)
self.menuTheme_select.addAction(self.actionHigh_Contrast)
self.menuSettings.addAction(self.menuTheme_select.menuAction())
self.menuSettings.addSeparator()
self.menuAbout.addAction(self.actionMERL)
self.menuAbout.addAction(self.actionhelp)
self.menuSelect_Core.addSeparator()
self.menuSelect_Core.addSeparator()
self.menuSelect_Core.addAction(self.actionChisel_Core)
self.menuSelect_Core.addAction(self.actionVerilog)
self.menuRun.addAction(self.actionRun)
self.menuRun.addAction(self.actionCompile)
self.menuRun.addAction(self.menuSelect_Core.menuAction())
self.menuRun.addAction(self.actionDebug)
self.menuExtensions.addAction(self.actionB_I)
self.menuExtensions.addAction(self.actionB_I_C)
self.menuExtensions.addAction(self.actionB_I_M)
self.menubar.addAction(self.menuFile.menuAction())
self.menubar.addAction(self.menuEdit.menuAction())
self.menubar.addAction(self.menuSettings.menuAction())
self.menubar.addAction(self.menuAbout.menuAction())
self.menubar.addAction(self.menuExtensions.menuAction())
self.menubar.addAction(self.menuRun.menuAction())
self.toolBar.addAction(self.actionDebug)
self.toolBar.addAction(self.actionChisel_Core)
self.toolBar.addAction(self.actionVerilog)
self.toolBar.addSeparator()
self.toolBar.addSeparator()
self.toolBar.addAction(self.actionRun)
self.toolBar.addAction(self.actionCompile)
self.toolBar.addSeparator()
self.toolBar.addAction(self.actionFind)
self.toolBar.addAction(self.actionsave)
self.toolBar.addAction(self.actionNew)
self.toolBar.addSeparator()
self.toolBar.addWidget(self.toolButton)
self.toolButton.addAction(self.actionB_I)
self.toolButton.addAction(self.actionB_I_C)
self.toolButton.addAction(self.actionB_I_M)
self.toolBar.addWidget(self.spacer)
self.toolBar.addAction(self.About)
self.toolBar.addAction(self.uit)
self.toolBar.addAction(self.merl)
self.toolBar.addSeparator()
self.toolBar.addSeparator()
self.actionB_I_C.triggered.connect(self.myfun)
self.retranslateUi(MainWindow)
self.tabWidget_2.setCurrentIndex(0)
self.tabWidget.setCurrentIndex(0)
QtCore.QMetaObject.connectSlotsByName(MainWindow)
self.count_myfun = 2
self.plainTextEdit_2.isReadOnly()
self.plainTextEdit_3.isReadOnly()
