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

/openjdk7/jdk/src/share/classes/javax/swing/text/html/
H A DHTMLEditorKit.java375 AppContext.getAppContext().remove(DEFAULT_STYLES_KEY);
377 AppContext.getAppContext().put(DEFAULT_STYLES_KEY, s);
389 StyleSheet defaultStyles = (StyleSheet) appContext.get(DEFAULT_STYLES_KEY);
393 appContext.put(DEFAULT_STYLES_KEY, defaultStyles);
633 private static final Object DEFAULT_STYLES_KEY = new Object(); field in class:HTMLEditorKit

Completed in 36 milliseconds