When changing the color type of the guard expression, it should be able to handle cases where the expression contains predecessors/successors, as well as logic expressions.
Also made it possible to change the color type when the expression is a guard placeholder.
Important to test whether undo/redo works correctly with the new changes.
When changing the color type of the guard expression, it should be able to handle cases where the expression contains predecessors/successors, as well as logic expressions.
Also made it possible to change the color type when the expression is a guard placeholder.
Important to test whether undo/redo works correctly with the new changes.
Solves https://bugs.launchpad.net/tapaal/+bug/1985978.