Subject: mailing-list for TeXmacs Users
List archive
From : Jan Ulrich Hasecke <address@hidden>- To: Joris van der Hoeven <address@hidden>
- Cc: address@hidden
- Subject: Re: GUI-bug, cannot rename file under KDE
- Date: Wed, 14 Aug 2002 12:44:26 +0200
Joris van der Hoeven <address@hidden> writes:
>> I just discovered that I cannot rename a file under KDE, because I
>> cannot type a new filename in the "Save as"-Popup-Box.
> Does this problem persist with 1.0.0.13?
No.
Hey, do you fix bugs before they are reported? ;-)
Thanks!
juh
--
Kofi kann wirklich stolz sein, Deutscher zu sein
http://www.sudelbuch.de/2001/20010323.html
- GUI-bug, cannot rename file under KDE, Jan Ulrich Hasecke, 08/14/2002
- Re: GUI-bug, cannot rename file under KDE, Joris van der Hoeven, 08/14/2002
- Re: GUI-bug, cannot rename file under KDE, Jan Ulrich Hasecke, 08/14/2002
- Re: GUI-bug, cannot rename file under KDE, Joris van der Hoeven, 08/14/2002
Archive powered by MHonArc 2.6.19.