X-Git-Url: https://mograsim.net/gitweb/?p=Mograsim.git;a=blobdiff_plain;f=plugins%2Fnet.mograsim.logic.model%2Fsrc%2Fnet%2Fmograsim%2Flogic%2Fmodel%2Fpreferences%2FRenderPreferences.java;h=7f90988b5eb4128b7e85c63bf1163e76591bc0a2;hp=fd325c3b8ba9cadeb357f9ed5a7c236efad96b56;hb=61fc95ac96e43d8f6de4097f269faf21d03516bf;hpb=14bc33070195ecb59e76887a4e26bc0225f86a34

diff --git a/plugins/net.mograsim.logic.model/src/net/mograsim/logic/model/preferences/RenderPreferences.java b/plugins/net.mograsim.logic.model/src/net/mograsim/logic/model/preferences/RenderPreferences.java
old mode 100755
new mode 100644
index fd325c3b..7f90988b
--- a/plugins/net.mograsim.logic.model/src/net/mograsim/logic/model/preferences/RenderPreferences.java
+++ b/plugins/net.mograsim.logic.model/src/net/mograsim/logic/model/preferences/RenderPreferences.java
@@ -6,7 +6,8 @@ public interface RenderPreferences extends Preferences
 {
 	public static final String PREFIX = "net.mograsim.logic.model.";
 
-	public static final String IMPROVE_TEXT = PREFIX + "improvetext";
+	public static final String IMPROVE_SCALING = PREFIX + "improvescaling.enable";
+	public static final String LINE_DASH_IMPROVEMENT_FACTOR = PREFIX + "improvescaling.factor";
 	public static final String TEXT_COLOR = PREFIX + "color.text";
 	public static final String FOREGROUND_COLOR = PREFIX + "color.foreground";
 	public static final String BACKGROUND_COLOR = PREFIX + "color.background";