Searched defs:INSERT_PRE_HTML (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DHTMLEditorKit.java1434 private static final String INSERT_PRE_HTML = "<pre></pre>"; field in class:HTMLEditorKit
1465 new InsertHTMLTextAction("InsertPre", INSERT_PRE_HTML,

Completed in 37 milliseconds