Changeset 5564 for trunk/gli/src/org/greenstone/gatherer/gui/SmarterTextArea.java

Timestamp:

2003-10-03T14:07:35+12:00 (21 years ago)

Author:

mdewsnip

Message:

Many more small improvements and tooltips added. Still more to come!

File:

• trunk/gli/src/org/greenstone/gatherer/gui/SmarterTextArea.java (modified) (2 diffs)

trunk/gli/src/org/greenstone/gatherer/gui/SmarterTextArea.java

@@ -35 +35 @@
  *########################################################################
  */
-
 package org.greenstone.gatherer.gui;
 
@@ -69 +68 @@
     init = false;
     }
+
     private class UnchangingDocument 
     extends PlainDocument {