Open johannesherschel opened 3 years ago
I can imagine that this is related to https://github.com/FeatureIDE/FeatureIDE/issues/1160 . Undoing the action (e.g., adding a space) in the source tab is not possible until switching to the feature diagram tab.
Maybe we should think about revising the entire fm editor for graphical and textual editing.
Undoing changes made in the Source tab of the feature model editor can cause errors.
Example model:
To make it worse, subsequent actions cause more problems: