Searched refs:QtCore (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Connection_Widget.py | 16 from PyQt5 import QtGui, QtWidgets, QtCore namespace 139 assert isinstance(pos, QtCore.QPointF) 154 assert isinstance(pos, QtCore.QPointF) 247 assert isinstance(rect, QtCore.QRectF) 338 assert isinstance(source_point, QtCore.QPointF) 339 assert isinstance(dest_point, QtCore.QPointF) 365 assert isinstance(old_point, QtCore.QPointF) 372 new_point = QtCore.QPointF((old_point.x() * new_length) / old_length, (old_point.y() * new_length) / old_length) 387 assert isinstance(source_pos, QtCore.QPointF) 388 assert isinstance(dest_pos, QtCore [all...] |
H A D | Graph_Widget.py | 16 from PyQt5 import QtWidgets, QtGui, QtCore, QtSvg namespace 71 self._zoom_in.setShortcut(QtGui.QKeySequence(QtCore.Qt.CTRL + QtCore.Qt.Key_Minus)) 72 self._zoom_in.setShortcut(QtGui.QKeySequence(QtCore.Qt.CTRL + QtCore.Qt.Key_Equal)) 82 self._zoom_out.setShortcut(QtGui.QKeySequence(QtCore.Qt.CTRL + QtCore.Qt.Key_Minus)) 102 self._autolayout_button.setShortcut(QtGui.QKeySequence(QtCore.Qt.CTRL + QtCore.Qt.Key_L)) 497 assert isinstance(size, QtCore [all...] |
H A D | Instance_Widget.py | 17 from PyQt5 import QtGui, QtWidgets, QtCore namespace 39 self._velocity = QtCore.QPointF(0, 0) 44 assert isinstance(value, QtCore.QPointF) 360 widget_moved = QtCore.pyqtSignal() 477 bounding_rect_font = painter.boundingRect(QtCore.QRectF(1, 1, 1, 1), QtCore.Qt.AlignCenter, self.name) 482 painter.drawText(bounding_rect_font, QtCore.Qt.AlignCenter, self.name) 489 bounding_rect_font = painter.boundingRect(QtCore.QRectF(1, 1, 1, 1), QtCore.Qt.AlignCenter, self.component_type) 494 painter.drawText(bounding_rect_font, QtCore [all...] |
H A D | Save_Option_Dialog.py | 14 from PyQt5 import QtWidgets, QtGui, QtCore namespace 209 assert isinstance(self.proportional_rect, QtCore.QRectF) 225 assert isinstance(self.proportional_rect, QtCore.QRectF) 237 if state == QtCore.Qt.Checked:
|
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Controller/ |
H A D | graph_controller.py | 16 from PyQt5 import QtWidgets, QtGui, QtCore namespace 97 self._property_dock.setAllowedAreas(QtCore.Qt.LeftDockWidgetArea | 98 QtCore.Qt.RightDockWidgetArea) 147 self.addDockWidget(QtCore.Qt.RightDockWidgetArea, self.property_dock_widget) 148 self.setTabPosition(QtCore.Qt.LeftDockWidgetArea | QtCore.Qt.RightDockWidgetArea, QtWidgets.QTabWidget.North)
|
Completed in 37 milliseconds