def __init__(self, graph, node, uid):
super(WCodeEditor, self).__init__()
self.setupUi(self)
self.graph = graph
self.nodeUid = node.uid
self.uid = uid
# insert code editor
self.plainTextEdit = WCompletionTextEdit(self.tabCode)
sizePolicy = QSizePolicy(QSizePolicy.Expanding, QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.plainTextEdit.sizePolicy().hasHeightForWidth())
self.plainTextEdit.setSizePolicy(sizePolicy)
font = QtGui.QFont()
font.setFamily("Consolas")
self.plainTextEdit.setFont(font)
self.plainTextEdit.setObjectName("plainTextEdit")
self.gridLayout.addWidget(self.plainTextEdit, 0, 0, 1, 1)
PythonSyntax.PythonHighlighter(self.plainTextEdit.document())
option = QtGui.QTextOption()
option.setFlags(option.Flags() | QtGui.QTextOption.ShowTabsAndSpaces)
self.plainTextEdit.document().setDefaultTextOption(option)
self.tabWidget.currentChanged.connect(self.OnCurrentTabChanged)
self.setFontSize(10)
self.sbFontSize.valueChanged.connect(lambda: self.setFontSize(self.sbFontSize.value()))
self.pbAddInput.clicked.connect(self.addDefaultInput)
self.pbAddOutput.clicked.connect(self.addDefaultOutput)
self.pbSave.clicked.connect(self.applyData)
self.pbReset.clicked.connect(self.resetUiData)
self.pbKillSelectedItems.clicked.connect(self.onKillSelectedPins)
self.resetUiData()
self.populate()
def __init__(self, parent=None):
super(Console, self).__init__(parent=parent)
self._buffer = StringIO()
size_policy = QSizePolicy(QSizePolicy.Preferred, QSizePolicy.Minimum)
size_policy.setHorizontalStretch(0)
size_policy.setVerticalStretch(0)
size_policy.setHeightForWidth(self.sizePolicy().hasHeightForWidth())
self.setSizePolicy(size_policy)
self.setReadOnly(True)
self.setMaximumSize(QSize(16777215, 16777215))
self.setFocusPolicy(Qt.StrongFocus)
self.setLineWrapMode(QTextEdit.NoWrap)
self.setContextMenuPolicy(Qt.CustomContextMenu)
self.customContextMenuRequested.connect(self._generate_context_menu)