From bcc5262d63fbd9c98ef019ba59992a0f91c000bc Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Mon, 3 May 1999 10:59:46 +0000
Subject: [PATCH] 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 | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/jode/jode/swingui/Main.java b/jode/jode/swingui/Main.java
index 3d4884d..982e31b 100644
--- a/jode/jode/swingui/Main.java
+++ b/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);