|
def | __init__ (self, frame_editor) |
|
def | broadcast (self, editor) |
|
def | publish_marker (self, element) |
|
def | update (self, editor, level, elements) |
|
def | __init__ (self, frame_editor) |
|
def | broadcast (self, editor) |
|
def | update (self, editor, level, elements) |
|
Definition at line 11 of file interface_markers.py.
def frame_editor.interface_markers.FrameEditor_Markers.__init__ |
( |
|
self, |
|
|
|
frame_editor |
|
) |
| |
def frame_editor.interface_markers.FrameEditor_Markers.broadcast |
( |
|
self, |
|
|
|
editor |
|
) |
| |
def frame_editor.interface_markers.FrameEditor_Markers.publish_marker |
( |
|
self, |
|
|
|
element |
|
) |
| |
def frame_editor.interface_markers.FrameEditor_Markers.update |
( |
|
self, |
|
|
|
editor, |
|
|
|
level, |
|
|
|
elements |
|
) |
| |
frame_editor.interface_markers.FrameEditor_Markers.editor |
frame_editor.interface_markers.FrameEditor_Markers.last_publish_time |
frame_editor.interface_markers.FrameEditor_Markers.publish_period |
frame_editor.interface_markers.FrameEditor_Markers.publisher |
The documentation for this class was generated from the following file: