[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[cp-patches] [Patch] java.awt.Font.decode - bug fixes
|
From: |
Michael Koch |
|
Subject: |
[cp-patches] [Patch] java.awt.Font.decode - bug fixes |
|
Date: |
Tue, 8 Mar 2005 09:15:12 +0100 |
|
User-agent: |
Mutt/1.5.6+20040907i |
Hi list,
I commited this patch by David Gilbert and approved by Thomas
Fitzsimmons. This closes
https://savannah.gnu.org/patch/index.php?func=detailitem&item_id=3799.
Michael
2005-03-08 David Gilbert <address@hidden>
* java/awt/Font.java (decode): Handle null argument and allow
space as delimiter.
font.diff
Description: Text document
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [cp-patches] [Patch] java.awt.Font.decode - bug fixes,
Michael Koch <=