/[classpath]/classpath/javax/swing/text/PlainDocument.java
ViewVC logotype

Diff of /classpath/javax/swing/text/PlainDocument.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.12 by mark, Sat Jul 2 20:32:51 2005 UTC revision 1.13 by rabbit78, Fri Jul 29 10:47:16 2005 UTC
# Line 135  public class PlainDocument extends Abstr Line 135  public class PlainDocument extends Abstr
135                                            start, end - len);                                            start, end - len);
136          rootElement.replace(i1, i2 - i1, new Element[]{ newEl });          rootElement.replace(i1, i2 - i1, new Element[]{ newEl });
137        }        }
     else  
       {  
         // otherwise only adjust indices of the element  
         LeafElement el1 = (LeafElement) rootElement.getElement(i1);  
         el1.end -= len;  
       }  
   
     // reindex remaining elements  
     for (int i = rootElement.getElementIndex(p0) + 1;  
          i < rootElement.getElementCount(); i++)  
       {  
         LeafElement el = (LeafElement) rootElement.getElement(i);  
         el.start -= len;  
         el.end -= len;  
       }  
         
138    }    }
139    
140    public Element getDefaultRootElement()    public Element getDefaultRootElement()

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.13

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26