The JKI State Machine Editor is a tool to make it easy for developers to use the JKI State Machine. It makes common tasks extremely easy to perform and exposes the user to more “advanced” (non-obvious) JKI SM features (because they are first-class features of the Helper), as well as JKI SM best practices (since the helper can enforce them: left-justification of strings, avoiding chaining states, etc.).
BSD 3-Clause "New" or "Revised" License
17
stars
10
forks
source link
Add "ctrl+__" shortcut info text to right-click text in tree view #21
Adding the shortcut information to the right click menu in the Treeview will help people learn the shortcuts, since they probably will not think to try them.
jimkring
commented
7 years ago
Adding the shortcut information to the right click menu in the Treeview will help people learn the shortcuts, since they probably will not think to try them.