Description
The Undo and Redo actions don't set the dirty flag, though the script content is changed.
The fix is not trivial since the ConsoleTextEditor provides its unkown UndoAction and RedoAction, I am not sure what would be the prettiest way to solve this.
Using 'setDirty(true)' in the closure property of the 2 actions is not a solution since SwingBuilder's actions seem not to take into account the closure when an existing Action is provided.