projects / Mograsim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 269b34b) | patch
Improved preference handling in plugin.core
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 16 Sep 2019 14:28:31 +0000 (16:28 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Mon, 16 Sep 2019 14:32:27 +0000 (16:32 +0200)
commitab52c884bb0eea5de4e3266b9ac168791c5cf67c
tree82ef2d65403cd2eadb0dcc46e823d474e3ff67b3tree | snapshot
parent269b34bc8e58453170ad4bb34266eb2d78d5627acommit | diff
Improved preference handling in plugin.core
plugins/net.mograsim.plugin.core/plugin.xml diff | blob | history
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/EclipsePreferences.java [new file with mode: 0644] blob
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MainPreferencePage.java [new file with mode: 0644] blob
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/MograsimActivator.java diff | blob | history
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/SimulationPreview.java diff | blob | history
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/ThemePreferences.java [deleted file] blob | history
plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/views/LogicUIPart.java diff | blob | history
Mirror of https://github.com/Mograsim-Team/Mograsim