Searched defs:FONT_CHANGE_SMALLER (Results 1 - 1 of 1) sorted by relevance
| /openjdk7/jdk/src/share/classes/javax/swing/text/html/ | ||
| H A D | HTMLEditorKit.java | 1391 public static final String FONT_CHANGE_SMALLER = "html-font-smaller"; field in class:HTMLEditorKit |
Completed in 61 milliseconds