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

It's possible to open two instances of Editor Tree from right-click and then QD shortcut #41

Closed jimkring closed 7 years ago

jimkring commented 7 years ago

Related to issue #33 "Multiple instance of same SM Helper tree #33"

Since QD and right-click plugins are in different application instances, they don't use the same named queue reference (the mechanism for detecting if editor is already open)

jimkring commented 7 years ago

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