Changes in the preference system
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Tue, 25 Jun 2019 08:45:39 +0000 (10:45 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Tue, 25 Jun 2019 08:45:39 +0000 (10:45 +0200)
commitdab66586e92c82527c215892592a95c9adaeb350
treea208546225ce614e34c0d7ff96d397ea07fe9100
parent9271e9f2d44fcc0498e0cd8a33e1bd224310e975
Changes in the preference system
net.mograsim.logic.core/src/net/mograsim/logic/core/types/BitVectorFormatter.java
net.mograsim.logic.ui/src/net/mograsim/logic/ui/ColorHelper.java
net.mograsim.preferences/META-INF/MANIFEST.MF
net.mograsim.preferences/src/net/mograsim/preferences/ColorDefinition.java
net.mograsim.preferences/src/net/mograsim/preferences/ColorManager.java
net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java
net.mograsim.preferences/src/net/mograsim/preferences/Preferences.java
net.mograsim.preferences/src/net/mograsim/preferences/SimpleColorManager.java