Changeset 7094

Timestamp:

2004-03-19T13:21:41+13:00 (20 years ago)

Author:

mdewsnip

Message:

Fixed a small bug with the log clearing.

File:

• trunk/gli/src/org/greenstone/gatherer/gui/CreatePane.java (modified) (1 diff)

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

@@ -318 +318 @@
         if (previous_collection != null) {
         // clear the log
-        ((AppendLineOnlyFileDocument)log_textarea.getDocument()).destroy();
+        Document log_document = log_textarea.getDocument();
+        if (log_document instanceof AppendLineOnlyFileDocument) {
+            ((AppendLineOnlyFileDocument) log_document).destroy();
+        }
         }
         previous_collection = current_collection;