new pretty option

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

jode/jode/swingui/Main.java

@@ -152,7 +152,10 @@ public class MainWindow
 
     public void run() {
 //  	Decompiler.isVerbose = verboseCheck.getState();
-//  	Decompiler.prettyLocals = prettyCheck.getState();
+//  	if (prettyCheck.getState())
+//  	    Decompiler.options |= Decompiler.OPTION_PRETTY;
+//  	else
+//  	    Decompiler.options &= ~Decompiler.OPTION_PRETTY;
 	errorArea.setText("");
 //  	saveButton.setEnabled(false);