Searched defs:TABLE_HEADER (Results 1 - 3 of 3) sorted by relevance
| /openjdk7/jdk/src/share/classes/javax/swing/plaf/synth/ |
| H A D | Region.java | 354 public static final Region TABLE_HEADER = new Region("TableHeader", false); field in class:Region
468 map.put("TableHeaderUI", TABLE_HEADER);
|
| /openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/gtk/ |
| H A D | GTKEngine.java | 79 TABBED_PANE_TAB, TABLE, TABLE_HEADER, TEXT_AREA, TEXT_FIELD, TEXT_PANE, enum constant in enum:GTKEngine.WidgetType
254 regionToWidgetTypeMap.put(Region.TABLE_HEADER, WidgetType.TABLE_HEADER);
|
| /openjdk7/jdk/src/solaris/native/sun/awt/ |
| H A D | gtk2_interface.h | 98 TABLE_HEADER, /* GtkButton */ enumerator in enum:_WidgetType
|
Completed in 38 milliseconds