![](https://secure.gravatar.com/avatar/d8110a8a8a97be0803549ea5ee2e638b.jpg?s=120&d=mm&r=g)
8 Jul
2007
8 Jul
'07
4:23 p.m.
2007/7/8, Thanh Han The
On Sun, Jul 08, 2007 at 10:52:24PM +0200, Thanh Han The wrote:
what about patch #813? It's rather straightforward and handy.
and also #812, if there is no further objection.
Both are in. While we are looking at patches, what about - 746 PromptFileName - 811 Change warning mesage for conflicting font attributes Best Martin