Changeset 8231 for trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java

Timestamp:

2004-10-07T16:44:32+13:00 (20 years ago)

Author:

mdewsnip

Message:

Replaced all "Gatherer.config" with "Configuration".

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java (modified) (3 diffs)

trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java

@@ -37 +37 @@
 import javax.swing.*;
 import javax.swing.event.*;
+import org.greenstone.gatherer.Configuration;
 import org.greenstone.gatherer.Dictionary;
 import org.greenstone.gatherer.Gatherer;
@@ -274 +275 @@
 
         instructions_textarea = new JTextArea();
-        instructions_textarea.setBackground(Gatherer.config.getColor("coloring.collection_tree_background", false));
+        instructions_textarea.setBackground(Configuration.getColor("coloring.collection_tree_background", false));
         instructions_textarea.setEditable(false);
         instructions_textarea.setLineWrap(true);
@@ -323 +324 @@
         
         editor_textarea = new JTextArea();
-        editor_textarea.setBackground(Gatherer.config.getColor("coloring.editable_background", false));
+        editor_textarea.setBackground(Configuration.getColor("coloring.editable_background", false));
         editor_textarea.setCaretPosition(0);
         editor_textarea.setLineWrap(true);