Public Member Functions | |
void | controlEvent (ControlEvent ev) |
Custom control event listener attached to the control elements in this window.
Otherwise, the control events would be sent to the listener that is part of the main window.
Definition at line 105 of file TransitionPropertiesEditor.java.
void edu.tum.cs.ias.knowrob.vis.applets.TransitionPropertiesEditor.DialogListener.controlEvent | ( | ControlEvent | ev | ) | [inline] |
Definition at line 107 of file TransitionPropertiesEditor.java.