43 |
|
|
44 |
public class GtkFontPeer implements FontPeer |
public class GtkFontPeer implements FontPeer |
45 |
{ |
{ |
46 |
static ResourceBundle |
private static ResourceBundle bundle; |
47 |
bundle = ResourceBundle.getBundle ("gnu.java.awt.peer.gtk.font"); |
|
48 |
|
static |
49 |
|
{ |
50 |
|
try |
51 |
|
{ |
52 |
|
bundle = ResourceBundle.getBundle ("gnu.java.awt.peer.gtk.font"); |
53 |
|
} |
54 |
|
catch (Throwable ignored) |
55 |
|
{ |
56 |
|
bundle = null; |
57 |
|
} |
58 |
|
} |
59 |
|
|
60 |
String Xname; |
final private String Xname; |
61 |
|
|
62 |
public GtkFontPeer (String name, int style) |
public GtkFontPeer (String name, int style) |
63 |
{ |
{ |
64 |
Xname = bundle.getString (name.toLowerCase () + "." + style); |
if (bundle != null) |
65 |
|
Xname = bundle.getString (name.toLowerCase () + "." + style); |
66 |
|
else |
67 |
|
Xname = "-*-*-medium-r-normal-*-12-*-*-*-c-*-*-*"; |
68 |
} |
} |
69 |
|
|
70 |
public String getXLFD () |
public String getXLFD () |