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