Changeset 37764 for main/trunk

Timestamp:

2023-06-14T19:14:34+12:00 (13 months ago)

Author:

anupama

Message:

Following Dr Bainbridge's instruction, I think I've now worked out how to display just the raw XML in GLI's Config File editor (available under GLI's Edit menu). This is to solve the problem noticed when following the DjVu/UnknownConverterPlugin tutorial: the tutorial advises using escaped quotes (backslash-quote) to embed filepaths containing spaces. That worked fine until viewing the config file in GLI's config File editor, where the embedded quote is not allowed and needs to be an entity. Changing it to an entity in the config file editor changes the value in the UnknownConverterPlugin option and breaks building the collection. From preliminary testing, this minor change suffices to solve this problem and doesn't appear to cause other problems, for example, it doesn't clash with HTML collection descriptions (containing XML-valid HTML elements) added through the Formal panel's General section.

File:

• main/trunk/gli/src/org/greenstone/gatherer/gui/ConfigFileEditor.java (modified) (3 diffs)

main/trunk/gli/src/org/greenstone/gatherer/gui/ConfigFileEditor.java

@@ -217 +217 @@
     
     // NOW WE CAN PREPARE THE ACTUAL CONTENT TO GO INTO THE XML EDITOR TEXTAREA
-    Document xmlDoc = null;
+    /*Document xmlDoc = null;
     xmlDoc = XMLTools.parseXMLFile(config_file);
 
@@ -239 +239 @@
         System.err.println("*** Warning: Parsing error in file " + config_file + ".");
         System.err.println("*** Not saving ahead of editing.");
-
+    */
         String xml_str = Utility.readFile(config_file);
 
@@ -262 +262 @@
         editor_msgarea.setText("Empty collection config file");
         }       
-    }
+    //} // outer else statement