pretty option changed

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@726 379699f6-c40d-0410-875b-85095c16579e

jode/jode/JodeWindow.java

@@ -226,7 +226,10 @@ public class JodeWindow
 
     public void run() {
 	GlobalOptions.verboseLevel = verboseCheck.getState() ? 1 : 0;
-	Decompiler.prettyLocals = prettyCheck.getState();
+	if (prettyCheck.getState())
+	    Decompiler.options |= Decompiler.OPTION_PRETTY;
+	else
+	    Decompiler.options &= ~Decompiler.OPTION_PRETTY;
 	errorArea.setText("");
 ///#ifdef AWT10
 ///	saveButton.disable();