| is | : | null tagged record |
| Extends | : | Toolbox_UserEventListener (16#50#, -1, -1) |
| User defined toolbox event | ||
| TEL\AddItem\Type | ||
| is | : | null tagged record |
| Extends | : | Toolbox_UserEventListener (16#47#, -1, -1) |
| TEL\ChangeItem\Type | ||
| is | : | null tagged record |
| Extends | : | Toolbox_UserEventListener (16#44#, -1, -1) |
| TEL\EditItem\Type | ||
| is | : | null tagged record |
| Extends | : | Toolbox_UserEventListener (16#46#, -1, -1) |
| TEL\OpenAddItem\Type | ||
| is | : | null tagged record |
| Extends | : | Toolbox_UserEventListener (16#51#, -1, -1) |
| TEL\Toolbox\ScrollList\Selection | ||
| is | : | null tagged record |
| Extends | : | ATEL_Toolbox_ScrollList_Selection |
[ Manual root ]