public class DefaultPreferences extends Preferences
{
+ @Override
+ public boolean getBoolean(String name)
+ {
+ switch (name)
+ {
+ case "net.mograsim.logic.model.improvetext":
+ return true;
+ default:
+ throw new IllegalArgumentException("Unknown boolean preference name: " + name);
+ }
+ }
+
@Override
public int getInt(String name)
{
{
switch (name)
{
- case "net.mograsim.logic.model.linewidth":
+ case "net.mograsim.logic.model.linewidth.default":
+ return 0.5;
+ case "net.mograsim.logic.model.linewidth.wire.singlebit":
return 0.5;
+ case "net.mograsim.logic.model.linewidth.wire.multibit":
+ return 0.85;
default:
throw new IllegalArgumentException("Unknown double preference name: " + name);
}