projects / Mograsim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b456eec) | patch
Improved MainPreferencePage:
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:19:11 +0000 (18:19 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 18 May 2020 16:19:11 +0000 (18:19 +0200)
commit5799704ea3af4cce1cd89189c11f2727046009e8
tree3e344cbc1c5f6e7e7de73451aecc14d547b1bf38tree | snapshot
parentb456eecf8d1563c7e0ca64a5bc2cf146173dc3ffcommit | diff
Improved MainPreferencePage:

Added preferences for line dashes
Defaults are now properly initialized
Preference names are not hardcoded anymore
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java diff | blob | history
Mirror of https://github.com/Mograsim-Team/Mograsim