|
PNTK
|
Public Member Functions | |
| gui_tool_event (gui_object *sender, gui_tool *tool) | |
Public Member Functions inherited from pntk::gui_event | |
| gui_event (gui_object *sender) | |
| void | veto () |
| bool | has_veto () |
Public Attributes | |
| gui_tool * | tool |
| int | tool_id |
Public Attributes inherited from pntk::gui_event | |
| gui_object * | sender |
1.8.15