Searched refs:TABLE_HEADER (Results 1 - 6 of 6) 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/make/tools/src/build/tools/generatenimbus/ |
H A D | Utils.java | 168 } else if (Region.TABLE_HEADER.getName().equals(regionName)) { 169 return "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);
|
H A D | GTKLookAndFeel.java | 1162 "TableHeader.font", new FontLazyValue(Region.TABLE_HEADER),
|
/openjdk7/jdk/src/solaris/native/sun/awt/ |
H A D | gtk2_interface.h | 98 TABLE_HEADER, /* GtkButton */ enumerator in enum:_WidgetType
|
H A D | gtk2_interface.c | 1119 case TABLE_HEADER:
|
Completed in 52 milliseconds