|
| From: | mark at gcc dot gnu dot org |
| Subject: | [Bug awt/26758] GdkFontPeer.getPostScriptFontName unimplemented |
| Date: | 19 Mar 2006 22:59:16 -0000 |
------- Comment #6 from mark at gcc dot gnu dot org 2006-03-19 22:59 -------
Checked in the following as current workaround:
2006-03-19 Mark Wielaard <address@hidden>
* gnu/java/awt/peer/gtk/GdkFontPeer.java (getPostScriptName): Return
familyName.
* gnu/java/awt/peer/gtk/GtkFontPeer.java: Removed unused file.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26758
| [Prev in Thread] | Current Thread | [Next in Thread] |