def __init__(self, graphical_editor_v, state_machine_m, *args):
GtkView.__init__(self, *args)
Observer.__init__(self)
self._selection = state_machine_m.selection
self.value_cache = ValueCache()
self.observe_model(self._selection)
self.observe_model(state_machine_m.root_state)
self._bounding_box_painter = BoundingBoxPainter(self)
self._graphical_editor = ref(graphical_editor_v)
