Cross Reference: /openjdk7/jdk/src/share/classes/javax/swing/text/DefaultStyledDocument.java

Lines Matching refs:removed
123      * document contained any data it will first be removed.
229      * <p>The element is removed from its parent element, as well as
235      * element is the sole child, its parent element is removed as well,
245      * "\n"} character in document), this character is not removed;
258      * @throws IllegalArgumentException  if the element could not be removed
295             removeTo = lastEndOffset - 1; // last "\n" must not be removed
318         Element[] removed = { elem };
322         dde.addEdit(new ElementEdit(parent, index, removed, added));
1465             ec.removed.addElement(child);
1591                     change.removed.size() > 0) && !changes.contains(change)) {
1599             // this will find what element need to be removed and remove it.
1609                 change.removed.insertElementAt(change.parent.getElement
1617          * span of the removal are removed.
1667                         ec.removed.addElement(child);
1691                 ec.removed.addElement(child);
1702                     ec.removed.addElement(child);
1709                     ec.removed.addElement(child);
1729                 Element[] removed = new Element[ec.removed.size()];
1730                 ec.removed.copyInto(removed);
1734                 ((BranchElement) ec.parent).replace(index, removed.length, added);
1735                 ElementEdit ee = new ElementEdit(ec.parent, index, removed, added);
1746                     " removed " + ec.removed.size());
1747                 if (ec.removed.size() > 0) {
1748                     int r0 = ((Element) ec.removed.firstElement()).getStartOffset();
1749                     int r1 = ((Element) ec.removed.lastElement()).getEndOffset();
1806             if ((ec.added.size() > 0) || (ec.removed.size() > 0)) {
1905                         ec.removed.addElement(first);
1913                         ec.removed.addElement(first);
1943                         // Element totally removed.
1944                         ec.removed.addElement(child0);
1947                         ec.removed.addElement(child0);
1959                             ec.removed.addElement(elem.getElement(i));
1987                             ec.removed.addElement(elem.getElement(i));
1991                                 ec.removed.insertElementAt(child0, 0);
1997                                 ec.removed.addElement(child1);
2007                 if(elem.getElementCount() == (ec.removed.size() -
2051          * given removed range.
2321                     change.removed.addElement(toMove);
2372             ec.removed.addElement(child);
2399                     ec.removed.addElement(child);
2411                 // Update index incase something added/removed.
2431                     ec.removed.addElement(child);
2432                     ec.removed.addElement(nextChild);
2446                 ec.removed.addElement(child);
2500                 removed = new Vector<Element>();
2504                 return "added: " + added + "\nremoved: " + removed + "\n";
2510             Vector<Element> removed;
2562         // true if all the attributes in the element were removed first.