Searched refs:popDepth (Results 1 - 2 of 2) sorted by relevance
/openjdk7/jdk/src/share/classes/javax/swing/text/html/ |
H A D | HTMLDocument.java | 341 * @param popDepth the number of <code>ElementSpec.EndTagTypes</code> 350 public HTMLEditorKit.ParserCallback getReader(int pos, int popDepth, argument 353 return getReader(pos, popDepth, pushDepth, insertTag, true); 364 * @param popDepth the number of <code>ElementSpec.EndTagTypes</code> 375 HTMLEditorKit.ParserCallback getReader(int pos, int popDepth, argument 383 HTMLReader reader = new HTMLReader(pos, popDepth, pushDepth, 2172 public HTMLReader(int offset, int popDepth, int pushDepth, argument 2174 this(offset, popDepth, pushDepth, insertTag, true, false, true); 2185 HTMLReader(int offset, int popDepth, int pushDepth, argument 2280 this.popDepth 4012 int popDepth; field in class:HTMLDocument.HTMLReader [all...] |
H A D | HTMLEditorKit.java | 274 * @param popDepth the number of ElementSpec.EndTagTypes to generate before 284 int popDepth, int pushDepth, 292 ParserCallback receiver = doc.getReader(offset, popDepth, pushDepth, 1632 int offset, String html, int popDepth, 1636 popDepth, pushDepth, 283 insertHTML(HTMLDocument doc, int offset, String html, int popDepth, int pushDepth, HTML.Tag insertTag) argument 1631 insertHTML(JEditorPane editor, HTMLDocument doc, int offset, String html, int popDepth, int pushDepth, HTML.Tag addTag) argument
|
Completed in 47 milliseconds