Changeset 5525 for trunk/gli

Timestamp:

2003-09-19T15:03:09+12:00 (21 years ago)

Author:

mdewsnip

Message:

Added section numbers to contents pane.

File:

• trunk/gli/src/org/greenstone/gatherer/help/HelpFrame.java (modified) (4 diffs)

trunk/gli/src/org/greenstone/gatherer/help/HelpFrame.java

@@ -158 +158 @@
         // Traverse the document hierarchy, building a tree representing its structure
         Node documentNode = document.getFirstChild();
-        NodeList sections = documentNode.getChildNodes();
-        for (int i = 0; i < sections.getLength(); i++) {
-            Node section = sections.item(i);
-            buildContentsHierarchy(rootNode, section);
+
+        int sectionNum = 0;
+        NodeList children = documentNode.getChildNodes();
+        for (int i = 0; i < children.getLength(); i++) {
+            Node child = children.item(i);
+            if (child.getNodeName().equals("Section")) {
+            sectionNum++;
+            buildContentsHierarchy(rootNode, sectionNum + "", child);
+            }
         }
         }
@@ -170 +175 @@
 
 
-    public void buildContentsHierarchy(MutableTreeNode parent, Node node)
-    {
-        // We're only interested in the Section nodes
-        if (!node.getNodeName().equals("Section")) {
-        return;
-        }
-
+    public void buildContentsHierarchy(MutableTreeNode parent, String pos, Node node)
+    {
         // Determine the section name
         String sectionName = ((Element) node).getAttribute("name");
@@ -186 +186 @@
         Node child = children.item(i);
         if (child.getNodeName().equals("Title")) {
-            sectionTitle = child.getFirstChild().getNodeValue();
+            sectionTitle = pos + ": " + child.getFirstChild().getNodeValue();
         }
         }
@@ -195 +195 @@
 
         // Apply recursively to the children of this node
+        int sectionNum = 0;
         for (int i = 0; i < children.getLength(); i++) {
         Node child = children.item(i);
-        buildContentsHierarchy(item, child);
+        if (child.getNodeName().equals("Section")) {
+            sectionNum++;
+            buildContentsHierarchy(item, pos + "." + sectionNum, child);
+        }
         }
     }