X-Git-Url: https://mograsim.net/gitweb/?a=blobdiff_plain;f=plugins%2Fnet.mograsim.preferences%2Fsrc%2Fnet%2Fmograsim%2Fpreferences%2FDefaultPreferences.java;h=3bc90328e8e40f4369b8dde7a718eeb738ca5e09;hb=67aacda56e0c89f073a02071a07ea1e3d5551fe7;hp=d288800773cdabf7be17d1b4197eb37d0dab9efc;hpb=f5d961acea5bee7c3b38c0b31119a9998fa97667;p=Mograsim.git diff --git a/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java b/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java index d2888007..3bc90328 100644 --- a/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java +++ b/plugins/net.mograsim.preferences/src/net/mograsim/preferences/DefaultPreferences.java @@ -31,6 +31,8 @@ public class DefaultPreferences extends Preferences return 1; case "net.mograsim.logic.model.button.zoom": return 2; + case "net.mograsim.plugin.core.simspeedprecision": + return 6; default: throw new IllegalArgumentException("Unknown int preference name: " + name); }