Searched refs:userFont (Results 1 - 3 of 3) sorted by relevance

/openjdk7/jdk/src/share/demo/jfc/Metalworks/
H A DBigContrastMetalTheme.java67 private final FontUIResource userFont = new FontUIResource("SansSerif", field in class:BigContrastMetalTheme
84 return userFont;
H A DDemoMetalTheme.java67 private final FontUIResource userFont = new FontUIResource("SansSerif", field in class:DemoMetalTheme
84 return userFont;
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/gtk/
H A DGTKStyle.java92 GTKStyle(Font userFont, WidgetType widgetType) { argument
108 } else if (userFont != null) {
109 this.font = userFont;

Completed in 157 milliseconds