Searched refs:EDITOR_PANE (Results 1 - 8 of 8) sorted by relevance
/openjdk7/jdk/src/share/classes/javax/swing/plaf/synth/ |
H A D | Region.java | 133 public static final Region EDITOR_PANE = new Region("EditorPane", false); field in class:Region 441 map.put("EditorPaneUI", EDITOR_PANE);
|
H A D | SynthBorder.java | 104 else if ((region == Region.EDITOR_PANE ||
|
/openjdk7/jdk/make/tools/src/build/tools/generatenimbus/ |
H A D | Utils.java | 96 } else if (Region.EDITOR_PANE.getName().equals(regionName)) { 97 return "EDITOR_PANE";
|
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | GTKEngine.java | 68 DESKTOP_ICON, DESKTOP_PANE, EDITOR_PANE, FORMATTED_TEXT_FIELD, enum constant in enum:GTKEngine.WidgetType 198 regionToWidgetTypeMap.put(Region.EDITOR_PANE, WidgetType.EDITOR_PANE);
|
H A D | GTKLookAndFeel.java | 616 "EditorPane.font", new FontLazyValue(Region.EDITOR_PANE),
|
H A D | GTKStyle.java | 714 region == Region.EDITOR_PANE ||
|
/openjdk7/jdk/src/solaris/native/sun/awt/ |
H A D | gtk2_interface.h | 57 EDITOR_PANE, /* GtkTextView */ enumerator in enum:_WidgetType
|
H A D | gtk2_interface.c | 1208 case EDITOR_PANE:
|
Completed in 58 milliseconds