Right-clicking a state now opens up a context menu with checkboxes to toggle a state being initial or final, and a button to delete the state. Implementing this also required expanding the Automaton API (and the underlying TransitionSet API) to allow removing states.
This PR also fixes minor bugs. Now, clicks overlapping the egui TopPanel (as well as the context menu) will not register as a click in the editor screen.
Right-clicking a state now opens up a context menu with checkboxes to toggle a state being initial or final, and a button to delete the state. Implementing this also required expanding the
Automaton
API (and the underlyingTransitionSet
API) to allow removing states.This PR also fixes minor bugs. Now, clicks overlapping the egui TopPanel (as well as the context menu) will not register as a click in the editor screen.