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
Undo/Redo point lost after I switch states using editor. #37
Before using SM editor, I can undo and redo the recent changes in VI. However after doing some activities viz below, then it looks like my undo point and redo point are lost.
Before using SM editor, I can undo and redo the recent changes in VI. However after doing some activities viz below, then it looks like my undo point and redo point are lost.