From e5c541bb00e487a7fa713a4936009fd4cb0a0e1f Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Wed, 28 Apr 1999 10:58:05 +0000
Subject: [PATCH] Use GlobalOptions

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@675 379699f6-c40d-0410-875b-85095c16579e
---
 jode/jode/JodeWindow.java | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/jode/jode/JodeWindow.java b/jode/jode/JodeWindow.java
index 1c13860..55a884e 100644
--- a/jode/jode/JodeWindow.java
+++ b/jode/jode/JodeWindow.java
@@ -143,7 +143,7 @@ public class JodeWindow
 	startButton.addActionListener(this);
 	saveButton.addActionListener(this);
 ///#endif
-	Decompiler.err = new PrintStream(new AreaOutputStream(errorArea));
+	GlobalOptions.err = new PrintStream(new AreaOutputStream(errorArea));
     }
 
     public void setClasspath(String cp) {
@@ -188,14 +188,14 @@ public class JodeWindow
 		out.close();
 	    } catch (IOException ex) {
 		errorArea.setText("");
-		Decompiler.err.println("Couldn't write to file " 
+		GlobalOptions.err.println("Couldn't write to file " 
 				       + fileName + ": ");
-		ex.printStackTrace(Decompiler.err);
+		ex.printStackTrace(GlobalOptions.err);
 	    } catch (SecurityException ex) {
 		errorArea.setText("");
-		Decompiler.err.println("Couldn't write to file " 
+		GlobalOptions.err.println("Couldn't write to file " 
 				       + fileName + ": ");
-		ex.printStackTrace(Decompiler.err);
+		ex.printStackTrace(GlobalOptions.err);
 	    }
 	}
     }
@@ -225,7 +225,7 @@ public class JodeWindow
     }
 
     public void run() {
-	Decompiler.isVerbose = verboseCheck.getState();
+	GlobalOptions.verboseLevel = verboseCheck.getState() ? 1 : 0;
 	Decompiler.prettyLocals = prettyCheck.getState();
 	errorArea.setText("");
 ///#ifdef AWT10
@@ -286,7 +286,7 @@ public class JodeWindow
     }
 
     public static void main(String argv[]) {
-	Frame frame = new Frame(Decompiler.copyright);
+	Frame frame = new Frame(GlobalOptions.copyright);
 	JodeWindow win = new JodeWindow(frame);
 
 	String cp = System.getProperty("java.class.path");