def __init__(self):
QWidget.__init__(self)
self.setLayout(QGridLayout())
split = QSplitter(Qt.Horizontal)
split.setChildrenCollapsible(False)
self.vis_area = WidgetVisualizationArea()
split.addWidget(self.vis_area)
edit_pane = QWidget()
edit_pane.setLayout(QVBoxLayout())
font = QFont('Courier New', 11)
self.editor = QPlainTextEdit()
self.editor.document().setDefaultFont(font)
edit_pane.layout().addWidget(self.editor)
compile_b = QPushButton("Compile")
compile_b.clicked.connect(self.compilePDL)
edit_pane.layout().addWidget(compile_b)
self.messages = QPlainTextEdit()
self.messages.setReadOnly(True)
self.messages.document().setDefaultFont(font)
edit_pane.layout().addWidget(self.messages)
split.addWidget(edit_pane)
self.layout().addWidget(split)
def __init__(self):
super().__init__()
self.urls = [
"https://www.learnpyqt.com/",
"https://www.mfitzp.com/",
"https://www.google.com",
"https://www.udemy.com/create-simple-gui-applications-with-python-and-qt/",
]
layout = QVBoxLayout()
self.text = QPlainTextEdit()
self.text.setReadOnly(True)
button = QPushButton("GO GET EM!")
button.pressed.connect(self.execute)
layout.addWidget(self.text)
layout.addWidget(button)
w = QWidget()
w.setLayout(layout)
self.setCentralWidget(w)
self.show()
self.threadpool = QThreadPool()
print("Multithreading with maximum %d threads" %
self.threadpool.maxThreadCount())
def __init__(self, parent=None): # + parent=None
super().__init__(parent) # + parent
self.setLayout(QFormLayout())
self.inputs = dict()
self.inputs['Customer Name'] = QLineEdit()
self.inputs['Customer Address'] = QPlainTextEdit()
self.inputs['Invoice Date'] = QDateEdit(date=QDate.currentDate(), calendarPopup=True)
self.inputs['Days until Due'] = QSpinBox()
for label, widget in self.inputs.items():
self.layout().addRow(label, widget)
self.line_items = QTableWidget(rowCount=10, columnCount=3)
self.line_items.setHorizontalHeaderLabels(['Job', 'Rate', 'Hours'])
self.line_items.horizontalHeader().setSectionResizeMode(QHeaderView.Stretch)
self.layout().addRow(self.line_items)
for row in range(self.line_items.rowCount()):
for col in range(self.line_items.columnCount()):
if col > 0:
w = QSpinBox()
self.line_items.setCellWidget(row, col, w)
submit = QPushButton('Create Invoice', clicked=self.on_submit)
# + vvvvvv vvvvvvvvvvvvv
_print = QPushButton('Print Invoice', clicked=self.window().printpreviewDialog) # + _print, + self.window()
self.layout().addRow(submit, _print) # + _print
def __init__(self):
super().__init__()
layout = QVBoxLayout()
self.text = QPlainTextEdit()
layout.addWidget(self.text)
self.progress = QProgressBar()
self.progress.setRange(0, 100)
self.progress.setValue(0)
layout.addWidget(self.progress)
btn_run = QPushButton("Execute")
btn_run.clicked.connect(self.start)
layout.addWidget(btn_run)
w = QWidget()
w.setLayout(layout)
self.setCentralWidget(w)
# Thread runner
self.threadpool = QThreadPool()
self.show()
def createLoggingDisplayLabel(self):
# Display Area
self.text = QPlainTextEdit(self)
self.text.setReadOnly(True)
self.text.setFont(QFont("Times", 12, QFont.Bold))
self.text.setTextInteractionFlags(Qt.TextSelectableByMouse
| Qt.TextSelectableByKeyboard)
def __init__(self, parent=None, width=150, height=150):
super().__init__()
self.widget = QPlainTextEdit(parent)
self.widget.setPlainText("Placeholder log text\n")
self.widget.resize(width, height)
self.widget.setReadOnly(True)
self.widget.setLineWrapMode(QPlainTextEdit.LineWrapMode.WidgetWidth)
def __init__(self, parent):
QDialog.__init__(self)
global fileloaded
if parent.editingsong:
self.song = fileloaded.get_song(parent.combobox.currentIndex())
else:
self.song = parent.loadedsong
self.replacewith = None
self.songname = QLabel('Song name:')
self.songnameline = QLineEdit()
self.songnameline.setText(self.song.name)
self.filename = QLabel('File name:')
self.filenameline = QLineEdit()
self.filenameline.setText(self.song.filename)
self.notes = QLabel('Notes:')
self.notesarea = QPlainTextEdit()
self.notesarea.setPlainText(self.song.notes)
self.donebutton = QPushButton("Done")
self.layout = QGridLayout()
self.layout.addWidget(self.songname, 0, 0)
self.layout.addWidget(self.songnameline, 0, 1)
self.layout.addWidget(self.filename, 1, 0)
self.layout.addWidget(self.filenameline, 1, 1)
self.layout.addWidget(self.notes, 2, 0)
self.layout.addWidget(self.notesarea, 2, 1)
self.layout.addWidget(self.donebutton, 3, 0, 1, 2)
self.setLayout(self.layout)
if parent.editingsong:
self.donebutton.clicked.connect(parent.finishedit)
else:
self.donebutton.clicked.connect(parent.finishreplace)
def __init__(self, parent=None):
super().__init__(parent)
self._source = None
self._table = None
self._id = -1
self._inspire_id = None
self._doi = None
self._bibtex_string = ""
self._fetcher = Fetcher()
self._fetcher.BatchReady.connect(self._HandleBatchReady)
self._fetcher.FetchingFinished.connect(self._HandleFetchingCompleted)
self._text_edit = QPlainTextEdit()
font = QFont("Monospace")
self._text_edit.setFont(font)
self._text_edit.setTextInteractionFlags(
Qt.TextInteractionFlag.TextSelectableByKeyboard
| Qt.TextInteractionFlag.TextSelectableByMouse)
self._text_edit.setEnabled(False)
self._dowload_inspire = QToolButton()
self._dowload_inspire.setIcon(QIcon(icons.INSPIRE))
self._dowload_inspire.clicked.connect(self._FetchINSPIRE)
self._dowload_inspire.setEnabled(False)
self._dowload_doi = QToolButton()
self._dowload_doi.setIcon(QIcon(icons.DOI))
self._dowload_doi.clicked.connect(self._FetchDOI)
self._dowload_doi.setEnabled(False)
self._SetupUI()
def __init__(self):
QWidget.__init__(self)
self.resize(500, 250)
self.setWindowTitle('Add New Reminder')
self.new_reminder_text_input = QPlainTextEdit()
self.new_reminder_text_input.setFixedHeight(90)
self.new_reminder_text_input.setFixedWidth(500)
self.cancel_button = QPushButton('Cancel')
self.cancel_button.setFixedWidth(
self.cancel_button.minimumSizeHint().width())
self.cancel_button.clicked.connect(self.on_cancel_clicked)
self.save_button = QPushButton('Save')
self.save_button.setFixedWidth(
(self.save_button.minimumSizeHint().width()))
self.v_box = QVBoxLayout()
self.h_box1 = QHBoxLayout()
self.h_box1.addWidget(self.new_reminder_text_input,
alignment=Qt.AlignHCenter)
self.h_box2 = QHBoxLayout()
self.h_box2.addWidget(self.cancel_button)
self.h_box2.addWidget(self.save_button)
self.v_box.addLayout(self.h_box1)
self.v_box.addLayout(self.h_box2)
self.setLayout(self.v_box)
def init_gui(self, parent):
self.layout = QGridLayout()
self.setLayout(self.layout)
self.list = QListWidget(self)
self.list.model().setSelectionMode(QAbstractItemView.ExtendedSelection)
self.list.itemClicked.connect(self.selection_changed)
self.layout.addWidget(self.list, 0, 0, 1, 2)
self.notes = QPlainTextEdit(self)
self.notes.textChanged.connect(self.notes_changed)
self.layout.addWidget(self.notes, 1, 0)
accept_btn = QPushButton(self)
accept_btn.setSizePolicy(QSizePolicy.Fixed, QSizePolicy.Fixed)
accept_btn.setText(_("Accept"))
accept_btn.clicked.connect(self.accept)
self.layout.addWidget(accept_btn, 2, 0)
cancel_btn = QPushButton(self)
cancel_btn.setSizePolicy(QSizePolicy.Fixed, QSizePolicy.Fixed)
cancel_btn.setText(_("Cancel"))
cancel_btn.clicked.connect(self.reject)
self.layout.addWidget(cancel_btn, 2, 1)
dw = 200
dh = 200
px = parent.x()
py = parent.y()
pw = parent.width()
ph = parent.height()
w2 = int((pw - dw) / 2.0)
h2 = int((ph - dh) / 2.0)
frame_geometry = QRect(px + w2, py + h2, dw, dh)
self.setGeometry(frame_geometry)
def __init__(self):
super(Help_window, self).__init__()
self.setWindowTitle("Aide")
self.setWindowFlags(Qt.WindowStaysOnTopHint)
self.resize(650, 400)
help_msg = QPlainTextEdit()
text = "<br /><h1>A propos du jeu</h1>"
text += "<p><a href='Ricochet Robots'></a>Ricochet Robots est un jeu de société créé par Alex Randolph en 1999</p>"
text += "<p>Le jeu est composé d'un plateau, de tuiles représentant chacune une des cases du plateau, et de pions appelés « robots »."
text += "La partie est décomposée en tours de jeu, un tour consistant à déplacer les robots sur un plateau afin d'en amener un sur l'une des cases du plateau.</p>"
text += "<p>Les robots se déplacent en ligne droite et avancent toujours jusqu'au premier mur qu'ils rencontrent.</p>"
text += "<br /><h1>Utilisation du jeu</h1>"
text += "<p>Pour débuter un nouveau jeu, vous pouvez : "
text += "<ul><li>jouer avec le plateau par défaut (très simple)</li>"
text += "<li>sélectionner un plateau existant ou générer un plateau aléatoire, réalisé comme dans le jeu physique :"
text += " on mélange 4 quarts de plateaux choisis au hasard</li></ul>"
text += "<br /><p>Pour sélectionner un robot, cliquez sur le bouton ou sur l'initiale de sa couleur (en anglais).</p>"
text += "<br /><p>pour déplacer un robot, utilisez les flèches du clavier ou les icônes de la fenêtre.</p>"
text += "<br /><p>Vous pouvez annuler la dernière action effectuée grâce au bouton Undo, ou obtenir un conseil grâce au bouton Tip.</p>"
text += "<br /><br /><br />"
text += "<p>Réalisé par Martin Canals, Théo Giani et François Aubin dans le cadre de l'UE projet Math-Info du DU CCIE</p>"
help_msg.appendHtml(text)
help_msg.setReadOnly(True)
help_msg.setUndoRedoEnabled(False)
text = ""
help_msg.appendHtml(text)
mainLayout = QVBoxLayout()
mainLayout.addWidget(help_msg)
self.setLayout(mainLayout)
def __init__(self, parent, *db_names):
"""Initialize class.
Args:
parent (QWidget): the parent widget
db_names (str): database names
"""
super().__init__(parent)
self.setWindowModality(Qt.ApplicationModal)
self.commit_msg = None
self.setWindowTitle('Commit changes to {}'.format(",".join(db_names)))
form = QVBoxLayout(self)
form.setContentsMargins(4, 4, 4, 4)
self.action_accept = QAction(self)
self.action_accept.setShortcut(
QApplication.translate("Dialog", "Ctrl+Return", None, -1))
self.action_accept.triggered.connect(self.accept)
self.action_accept.setEnabled(False)
self.commit_msg_edit = QPlainTextEdit(self)
self.commit_msg_edit.setPlaceholderText(
'Commit message \t(press Ctrl+Enter to commit)')
self.commit_msg_edit.addAction(self.action_accept)
button_box = QDialogButtonBox()
button_box.addButton(QDialogButtonBox.Cancel)
self.commit_button = button_box.addButton('Commit',
QDialogButtonBox.AcceptRole)
button_box.accepted.connect(self.accept)
button_box.rejected.connect(self.reject)
form.addWidget(self.commit_msg_edit)
form.addWidget(button_box)
self.setAttribute(Qt.WA_DeleteOnClose)
self.commit_msg_edit.textChanged.connect(self.receive_text_changed)
self.receive_text_changed()
def setup_editor(self):
variable_format = QTextCharFormat()
variable_format.setFontWeight(QFont.Bold)
variable_format.setForeground(Qt.blue)
self._highlighter.add_mapping("\\b[A-Z_]+\\b", variable_format)
single_line_comment_format = QTextCharFormat()
single_line_comment_format.setBackground(QColor("#77ff77"))
self._highlighter.add_mapping("#[^\n]*", single_line_comment_format)
quotation_format = QTextCharFormat()
quotation_format.setBackground(Qt.cyan)
quotation_format.setForeground(Qt.blue)
self._highlighter.add_mapping("\".*\"", quotation_format)
function_format = QTextCharFormat()
function_format.setFontItalic(True)
function_format.setForeground(Qt.blue)
self._highlighter.add_mapping("\\b[a-z0-9_]+\\(.*\\)", function_format)
font = QFont()
font.setFamily("Courier")
font.setFixedPitch(True)
font.setPointSize(10)
self._editor = QPlainTextEdit()
self._editor.setFont(font)
self._highlighter.setDocument(self._editor.document())
def __init__(self, settings, *args, **kwargs):
super().__init__(*args, **kwargs)
self.settings = settings
self.setSizePolicy(QSizePolicy.MinimumExpanding,
QSizePolicy.MinimumExpanding)
self.system_fonts = pdf_api.get_system_fonts()
# Setup UI view
v_main_box = QVBoxLayout()
# Setup list for production handoff export option
self.fonts_list = QComboBox()
self.fonts_list.addItems(self.system_fonts)
self.fonts_list_label = QLabel('Font')
self.fonts_list_label.setBuddy(self.fonts_list)
self.fonts_list.currentTextChanged.connect(self.__on_font_changed)
try:
self.fonts_list.setCurrentIndex(
self.system_fonts.index(settings.get('font')))
except ValueError:
pass
if len(self.system_fonts) > 0:
self.__on_font_changed(self.fonts_list.currentText())
self.wg_font_size, self.wg_font_size_label = self.__create_spinbox_label(
self.settings.get('font_size', 8), 'Font Size', 1, 8, 200)
self.wg_columns, self.wg_columns_label = self.__create_spinbox_label(
self.settings.get('columns', 3), 'Columns', 1, 5, 350)
self.wg_rows, self.wg_rows_label = self.__create_spinbox_label(
self.settings.get('rows', 3), 'Rows', 1, 5, 200)
self.disclaimer = QPlainTextEdit(settings.get('disclaimer', ''))
self.disclaimer.setMaximumHeight(100)
self.disclaimer_label = QLabel('Disclaimer')
self.disclaimer_label.setBuddy(self.disclaimer)
# Setup Local Export option
self.export_layout = QHBoxLayout()
self.export_path_button = QPushButton('Browse')
self.export_path_button.clicked.connect(self.__browse_export_path)
self.export_path, self.export_path_label = self.__create_line_label(
self.settings.get("export_path", ''), 'Export Path', 200)
self.__add_widget_to_layout(self.export_layout, self.export_path,
self.export_path_button)
generate_btn = QPushButton('Generate Contact Sheet')
generate_btn.clicked.connect(self.__generate)
self.__add_widget_to_layout(v_main_box, self.fonts_list_label,
self.fonts_list, self.wg_font_size_label,
self.wg_font_size, self.wg_columns_label,
self.wg_columns, self.wg_rows_label,
self.wg_rows, self.disclaimer_label,
self.disclaimer, self.export_path_label)
v_main_box.addLayout(self.export_layout)
self.__add_widget_to_layout(v_main_box, generate_btn)
self.setLayout(v_main_box)
def __init__(self, parent, action):
super(FuncSignProbDockWidget, self).__init__(parent, action)
self.setObjectName("func_sign_probDockWidget")
self.setWindowTitle("func_sign_prob DockWidget")
self._multiWidget = QWidget()
self._layout = QVBoxLayout()
self._funcSignLabel = QLabel(self)
self._progressBar = QProgressBar(self)
self._disasTextEdit = QPlainTextEdit(self)
self._layout.addWidget(self._funcSignLabel)
self._layout.addWidget(self._progressBar)
self._layout.addWidget(self._disasTextEdit)
self._multiWidget.setLayout(self._layout);
self.setWidget(self._multiWidget);
self._userHomePath = os.path.expanduser('~')
#print(f'user-home-path >{self._userHomePath}<')
cutter.core().seekChanged.connect(self.update_contents)
self.inferenceClass = InferenceClass(parent)
self.inferenceClass.resultReady.connect(self.showInferenceResult)
self.inferenceClass.summaryReady.connect(self.showInferenceResultSummary)
self.inferenceClass.updateProgressBar.connect(self.updateProgressBar)
def initUI(self):
"""Create window layout and buttons,
read log file content and print it in the `QPlainTextEdit`
"""
self.setWindowTitle(self.title)
grid = QVBoxLayout()
grid.setSpacing(1)
grid.addWidget(
PBLabel(dwstr.logFileRead % pbConfig.params["logFileName"]))
try:
with open(pbConfig.params["logFileName"]) as r:
text = r.read()
except IOError:
text = dwstr.clearLogFailRead
pBLogger.exception(text)
self.textEdit = QPlainTextEdit(text)
self.textEdit.setReadOnly(True)
grid.addWidget(self.textEdit)
self.closeButton = QPushButton(dwstr.close, self)
self.closeButton.setAutoDefault(True)
self.closeButton.clicked.connect(self.close)
grid.addWidget(self.closeButton)
self.clearButton = QPushButton(dwstr.clearLogTitle, self)
self.clearButton.clicked.connect(self.clearLog)
grid.addWidget(self.clearButton)
self.setGeometry(100, 100, 800, 800)
self.setLayout(grid)
def __init__(self):
super().__init__()
self.workers = WorkerManager()
self.workers.status.connect(self.statusBar().showMessage)
layout = QVBoxLayout()
self.progress = QListView()
self.progress.setModel(self.workers)
delegate = ProgressBarDelegate()
self.progress.setItemDelegate(delegate)
layout.addWidget(self.progress)
self.text = QPlainTextEdit()
self.text.setReadOnly(True)
start = QPushButton("Start a worker")
start.pressed.connect(self.start_worker)
clear = QPushButton("Clear")
clear.pressed.connect(self.workers.cleanup)
layout.addWidget(self.text)
layout.addWidget(start)
layout.addWidget(clear)
w = QWidget()
w.setLayout(layout)
self.setCentralWidget(w)
self.show()
def __init__(self, parent, database):
"""Initialize class"""
super().__init__(parent)
self.commit_msg = None
self.setWindowTitle('Commit changes to {}'.format(database))
form = QVBoxLayout(self)
form.setContentsMargins(0, 0, 0, 0)
inner_layout = QVBoxLayout()
inner_layout.setContentsMargins(4, 4, 4, 4)
self.actionAccept = QAction(self)
self.actionAccept.setShortcut(
QApplication.translate("Dialog", "Ctrl+Return", None, -1))
self.actionAccept.triggered.connect(self.accept)
self.actionAccept.setEnabled(False)
self.commit_msg_edit = QPlainTextEdit(self)
self.commit_msg_edit.setPlaceholderText(
'Commit message \t(press Ctrl+Enter to commit)')
self.commit_msg_edit.addAction(self.actionAccept)
button_box = QDialogButtonBox()
button_box.addButton(QDialogButtonBox.Cancel)
self.commit_button = button_box.addButton('Commit',
QDialogButtonBox.AcceptRole)
button_box.accepted.connect(self.accept)
button_box.rejected.connect(self.reject)
inner_layout.addWidget(self.commit_msg_edit)
inner_layout.addWidget(button_box)
# Add status bar to form
form.addLayout(inner_layout)
self.setAttribute(Qt.WA_DeleteOnClose)
self.commit_msg_edit.textChanged.connect(self.receive_text_changed)
self.receive_text_changed()
def __init__(self, config, resource):
QWidget.__init__(self)
self.channels = resource["tabs"].widget(0).channels
self.scripts = resource["scripts"]
self.threadpool = resource["threadpool"]
self.config = config
# Create overall layout
columns = QHBoxLayout(self)
self.setup_file_list()
columns.addWidget(self.file_list)
edit_rows = QVBoxLayout()
columns.addLayout(edit_rows)
columns.setStretch(0, 1)
columns.setStretch(1, 5)
# Create edit_rows
self.title_bar = func.label("Select or open file to edit.")
edit_rows.addWidget(self.title_bar)
self.editor = QPlainTextEdit()
self.editor.textChanged.connect(self.text_modified)
edit_rows.addWidget(self.editor)
controls = QHBoxLayout()
edit_rows.addLayout(controls)
buttons = [
["Open", self.open],
["New", self.new],
["Save", self.save],
["Check", self.check],
]
for button in buttons:
controls.addWidget(func.button(text=button[0], connect=button[1]))
def __init__(self, sender, title=''):
super(Log, self).__init__()
self.main_layout = QVBoxLayout()
self.header_layout = QHBoxLayout()
title_label = QLabel(title)
title_label.setFont(QFont('Poppins', 13))
self.header_layout.addWidget(title_label)
holder_label = QLabel(str(sender))
holder_label.setWordWrap(True)
self.log_view = QPlainTextEdit()
self.log_view.setReadOnly(True)
self.main_layout.addLayout(self.header_layout)
self.main_layout.addWidget(holder_label)
self.main_layout.addWidget(self.log_view)
self.setLayout(self.main_layout)
self.setStyleSheet('''
QLabel {
border: None;
}
QWidget {
color: #e9f4fb;
}
''')
def __init__(self, parent, var):
super(EditVarVal_Dialog, self).__init__(parent)
# shortcut
save_shortcut = QShortcut(QKeySequence.Save, self)
save_shortcut.activated.connect(self.save_triggered)
main_layout = QVBoxLayout()
self.val_text_edit = QPlainTextEdit()
var_val_str = ''
try:
var_val_str = str(var.val)
except Exception as e:
var_val_str = 'couldn\'nt stringify value'
self.val_text_edit.setPlainText(var_val_str)
main_layout.addWidget(self.val_text_edit)
button_box = QDialogButtonBox()
button_box.setStandardButtons(QDialogButtonBox.Cancel
| QDialogButtonBox.Ok)
button_box.accepted.connect(self.accept)
button_box.rejected.connect(self.reject)
main_layout.addWidget(button_box)
self.setLayout(main_layout)
self.resize(450, 300)
self.setWindowTitle('edit var val \'' + var.name + '\'')
def __init__(self, parent=None):
super().__init__(parent)
self.textEdit = QPlainTextEdit()
self.curFile = ""
self.centralWidget = qtw.QWidget()
self.mainWindow = self.createMainWindow()
self.centralWidget.setLayout(self.mainWindow)
self.setCentralWidget(self.centralWidget)
#self.setFixedSize(1000, 550)
self.createActions()
self.createMenus()
#self.createToolBars()
self.createStatusBar()
self.readSettings()
self.textEdit.document().contentsChanged.connect(self.documentWasModified)
#self.setCurrentFile("")
self.setUnifiedTitleAndToolBarOnMac(True)
#self.menuBar = qtw.QLayout.menuBar()
#self.statusBar = qtw.QMainWindow.statusBar()
self.Qsettings = QSettings()
def testPropertyValues(self):
app = QApplication(sys.argv)
textEdit = QPlainTextEdit()
textEdit.insertPlainText("PySide INdT")
selection = QTextEdit.ExtraSelection()
selection.cursor = textEdit.textCursor()
selection.cursor.setPosition(2)
self.assertEqual(selection.cursor.position(), 2)
def configureBackground(self):
image = "mic/gui/filter-gui/UI.png"
self.text_field = QPlainTextEdit(self)
self.text_field.setDisabled(True)
self.text_field.setMinimumSize(720, 301)
self.text_field.setStyleSheet("background-image: url(" + image +
"); background-attachment: fixed")
def __init_console_widget(self, parent=None):
self.__console_widget = QPlainTextEdit(parent)
self.__console_widget.setReadOnly(True)
self.__console_widget.setStyleSheet("QPlainTextEdit { background-color : dimgrey}")
palette = self.__console_widget.palette()
palette.setColor(QPalette.Text, QColor(255, 255, 255))
self.__console_widget.setPalette(palette)
self.__g_code_sender.print_text_signal.connect(self.__console_widget.appendPlainText)
def setup_ui(self):
#设置ui界面的建立
self.button = QPushButton(self.windows)
self.button.resize(100, 100)
self.button.move(150, 150)
self.button.setText("获取文章")
self.text = QPlainTextEdit(self.windows)
self.text.setPlaceholderText("请输入需要获取文章的链接")
self.text.resize(450, 100)
def _create_raw_widget(self, ) -> QWidget:
widget = QPlainTextEdit(self)
font = QFontDatabase.systemFont(QFontDatabase.FixedFont)
font.setFixedPitch(True)
metrics = QFontMetrics(font)
widget.setFont(font)
widget.setTabStopDistance(2 * metrics.width(' '))
as_signal_instance(widget.textChanged).connect(self._on_raw_changed, )
return widget
def __init__( self, nursery, srv, parent=None ):
super().__init__( parent )
self.srv = srv
self.nursery = nursery
self.log = logging.getLogger("test lean qt")
self.setWindowTitle("Test lean")
########################################
# Layout setup
########################################
# Left group box
self.w_edit_groupbox = QGroupBox("Edit", parent=self)
self.w_edit_layout = QVBoxLayout()
self.w_edit_textedit = QPlainTextEdit(TEMPLATE, parent=self.w_edit_groupbox)
self.w_edit_button = QPushButton("Send to lean", parent=self.w_edit_groupbox)
self.w_info_button = QPushButton("Info" , parent=self.w_edit_groupbox)
self.w_edit_layout.addWidget(self.w_edit_textedit)
self.w_edit_layout.addWidget(self.w_edit_button)
self.w_edit_layout.addWidget(self.w_info_button)
self.w_edit_groupbox.setLayout(self.w_edit_layout)
# Right results box
self.w_result_groupbox = QGroupBox("Résultats", parent=self )
self.w_result_layout = QVBoxLayout()
self.w_result_textedit = QTextEdit("" , parent=self.w_result_groupbox)
self.w_result_progress = QProgressBar(self.w_result_groupbox)
self.w_result_progress.setFormat("Lean is running...")
self.w_result_layout.addWidget(self.w_result_textedit)
self.w_result_layout.addWidget(self.w_result_progress)
self.w_result_groupbox.setLayout(self.w_result_layout)
# Global layout
self.w_layout = QHBoxLayout()
self.w_layout.addWidget(self.w_edit_groupbox)
self.w_layout.addWidget(self.w_result_groupbox)
self.setLayout(self.w_layout)
########################################
# Widget states
########################################
self.set_lean_running(False)
########################################
# Events setup
########################################
self.srv.message.connect(self._on_message)
self.srv.running_state_change.connect(self.set_lean_running)
self.nursery.start_soon(self.wait_send_task)
def __init__(self):
QMainWindow.__init__(self)
self.textEdit = QPlainTextEdit()
self.setCentralWidget(self.textEdit)
self.createActions()
self.readSettings()
self.setCurrentFile("")
def add_new_script(self):
code_text_edit = QPlainTextEdit()
code_text_edit.setPlainText('test code')
code_text_edit.setFont(self.code_font)
# code_text_edit.setStyleSheet('background: black; color: grey;')
self.code_text_edits.append(code_text_edit)
# print('before: ', self.height())
self.layout().addWidget(code_text_edit)
# print('after: ', self.height())
self.parent_node_instance.update_shape()