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

Lines Matching defs:added
65  * has been added to the <code>java.beans</code> package.
237      * particular element, new children should be added <em>before</em>
319         Element[] added = {};
321         parent.replace(index, 1, added);
322         dde.addEdit(new ElementEdit(parent, index, removed, added));
389      * Removes a named style previously added to the document.
399      * Fetches a named style previously added.
1128      * has been added to the <code>java.beans</code> package.
1159      * has been added to the <code>java.beans</code> package.
1230          * the data has already been added, but len information
1394      * has been added to the <code>java.beans</code> package.
1462             ec.added.addElement(createLeafElement(ec.parent,
1589                     change.added.addElement(fracturedChild);
1590                 if((change.added.size() > 0 ||
1670                         ec.added.addElement(e);
1673                         ec.added.addElement(e);
1676                         ec.added.addElement(e);
1694                 ec.added.addElement(e);
1697                 ec.added.addElement(e);
1703                     ec.added.addElement(child);
1712                     ec.added.addElement(e);
1715                     ec.added.addElement(e);
1731                 Element[] added = new Element[ec.added.size()];
1732                 ec.added.copyInto(added);
1734                 ((BranchElement) ec.parent).replace(index, removed.length, added);
1735                 ElementEdit ee = new ElementEdit(ec.parent, index, removed, added);
1752                 System.err.print(" added " + ec.added.size());
1753                 if (ec.added.size() > 0) {
1754                     int p0 = ((Element) ec.added.firstElement()).getStartOffset();
1755                     int p1 = ((Element) ec.added.lastElement()).getEndOffset();
1806             if ((ec.added.size() > 0) || (ec.removed.size() > 0)) {
1812                     // used, make sure its not marked as having been added.
1814                     ec.added.removeElement(e);
1867                     ec.added.addElement(belem);
1880                     ec.added.addElement(leaf);
1904                         ec.added.addElement(leaf);
1912                         ec.added.addElement(leaf);
1962                         ec.added.addElement(e);
2008                                               ec.added.size())) {
2189                 if(change.added.size() > 0 || counter == depth) {
2370                 ec.added.addElement(newChild);
2398                     ec.added.addElement(newE);
2411                 // Update index incase something added/removed.
2420                     ec.added.addElement(newE);
2430                     ec.added.addElement(newE);
2444                     ec.added.addElement(newE);
2451                 ec.added.addElement(newE);
2499                 added = new Vector<Element>();
2504                 return "added: " + added + "\nremoved: " + removed + "\n";
2509             Vector<Element> added;