- Timestamp:
- 01/10/14 14:55:16 (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/expeditee/settings/Settings.java
r677 r679 101 101 } 102 102 String settingsPage = prefix + text.getText().trim().toLowerCase().replaceAll("^@", ""); 103 System.out.println(settingsPage);104 103 PageDescriptor pd = _pages.get(settingsPage); 105 104 if(pd == null) { … … 111 110 List<Text> items = child.getBodyTextItems(false); 112 111 List<Text> annotations = new LinkedList<Text>(child.getAnnotationItems()); 113 List<Frame> seen = new LinkedList<Frame>(); 112 List<Frame> seen = new LinkedList<Frame>(); // to avoid getting stuck in a loop 114 113 seen.add(child); 114 // find all the frames for this settings page 115 115 while(!annotations.isEmpty()) { 116 116 Text annotation = annotations.remove(0); 117 117 Frame next = annotation.getChild(); 118 118 if(next != null && !seen.contains(next)) { 119 System.out.println(annotation);120 119 items.addAll(next.getBodyTextItems(false)); 121 120 annotations.addAll(next.getAnnotationItems()); … … 123 122 } 124 123 } 124 // parse all the settings items on this page 125 125 for(Text t : items) { 126 126 AttributeValuePair avp = new AttributeValuePair(t.getText(), false); … … 172 172 */ 173 173 private static void generateSettingsTree(String page, Text text) { 174 // bedrock: bedrock.resnet.scms.waikato.ac.nz 3000175 174 FrameCreator frames = new FrameCreator(text.getParentOrCurrentFrame().getFramesetName(), text.getParentOrCurrentFrame().getPath(), page, false, false); 176 175 // Frame frame = FrameIO.CreateFrame(text.getParentOrCurrentFrame().getFramesetName(), page, null);
Note:
See TracChangeset
for help on using the changeset viewer.