Changeset 14039 for trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java

Timestamp:

2007-05-03T08:54:51+12:00 (17 years ago)

Author:

xiao

Message:

Change made in the method getElementAt() not to get element from the 'cache' but directly from the 'children' list because when an element is deleted from the internal DOM tree, 'children' is up to date but 'cache' is not.

File:

• trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/cdm/FormatManager.java

@@ -50 +50 @@
  */
 public class FormatManager
-    extends DOMProxyListModel {
+    extends DOMProxyListModel implements SharedByTwoFormatManager {
 
     static final private String BLANK = "blank";