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)
commit9b0530074d07ba11b12c23df4370dd035da774b3
tree6cca1cffed1a0cbdcfe7e154334eadfac3be3056
parentdff3e01498ac766a7f1ec7b18ce2cc5acd257cb5
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