JKISoftware / JKI-State-Machine-Editor

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

Delete key doesn't work #15

Closed joerghampel closed 7 years ago

joerghampel commented 7 years ago

When selecting a case in the editor window and pressing the delete key, a dialog box appears saying "You need to select a case first".

bildschirmfoto 2017-06-09 um 21 09 16
joerghampel commented 7 years ago

This is on LV2013 SP1 (13.0.1 32bit), just in case that makes a difference.

jimkring commented 7 years ago

Fixed in 2013.0.8: https://github.com/JKISoftware/JKI-State-Machine-Editor/releases/tag/2013.0.8

joerghampel commented 7 years ago

Works like a charm now - thanks for the quick resolution.