Searched refs:pageProperties (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/
H A DJEditorPane.java493 if (pageProperties != null) {
496 for (Enumeration<String> e = pageProperties.keys(); e.hasMoreElements() ;) {
498 doc.putProperty(key, pageProperties.get(key));
500 pageProperties.clear();
778 if (pageProperties == null) {
779 pageProperties = new Hashtable<String, Object>();
784 pageProperties.put("content-type", type);
786 pageProperties.put(Document.StreamDescriptionProperty, conn.getURL());
789 pageProperties.put("content-encoding", enc);
1523 private Hashtable<String, Object> pageProperties; field in class:JEditorPane
[all...]

Completed in 1445 milliseconds