8 Jul
2007
8 Jul
'07
10:26 p.m.
2007/7/9, Martin Schröder
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
811 is already in. Best Martin