andreas muelder ecdaec8d1f don't reset caret position to 0 on save 7 years ago
..
utils 7467bd775d Issue statecharteditor prototype (#1740) 7 years ago
xtext ecdaec8d1f don't reset caret position to 0 on save 7 years ago