Navigation button, first "JKI State Machine Explorer" call
Closed this issue · 0 comments
kosist commented
When "JKI State Machine Explorer" is just opened, history navigation button is enabled. But when it is pressed, "End of history." message is displayed - which is logical, because actually there is no states transition history yet. Then, navigation button is disabled.
Maybe, it will be better to check if history transition buffer is empty, and based on it disable/enable navigation button. Or, disable it when "JKI State Machine Explorer" is just opened.