Made preference page a bit easier to use
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Thu, 26 Sep 2019 17:28:28 +0000 (19:28 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Thu, 26 Sep 2019 17:28:28 +0000 (19:28 +0200)
commit226e38f56225dfd30365f72260486e593876e262
treeebc47cc71efa8ba9fb6f855e8956c593102fa8fa
parentb1b3d8cc232d51c3a5d505acd2be052eb72300ee
Made preference page a bit easier to use
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java