Fixed an endless redraw loop on GTK
[Mograsim.git] / plugins / net.mograsim.plugin.core / src / net / mograsim / plugin / EclipsePreferences.java
2019-09-30 Daniel KirschtenMerge branch 'machines-are-launch-configs' into development
2019-09-29 Daniel KirschtenReplaced hardcoded string with reference to MGSActivate...
2019-09-16 Fabian StemmlerMerge branch 'development' of https://gitlab.lrz.de...
2019-09-16 Daniel KirschtenImproved preference handling in plugin.core