Searched refs:context_menu (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/
H A DInstance_Widget.py344 def context_menu(self): member in class:InstanceWidget
347 @context_menu.setter
348 def context_menu(self, value): member in class:InstanceWidget
363 def __init__(self, context_menu, preferred_point=None):
382 self.context_menu = context_menu
830 menu = self.context_menu.widget()
843 self.context_menu.setPos(event.scenePos())
H A DGraph_Widget.py55 def context_menu(self): member in class:GraphWidget
218 new_widget = InstanceWidget(self.context_menu)

Completed in 78 milliseconds