Subject: mailing-list for TeXmacs Users
List archive
From : Joris van der Hoeven <address@hidden>- To: address@hidden
- Subject: Re: GUI-bug, cannot rename file under KDE
- Date: Wed, 14 Aug 2002 11:42:12 +0200 (MET DST)
> I just discovered that I cannot rename a file under KDE, because I
> cannot type a new filename in the "Save as"-Popup-Box.
>
> This is with 1.0.0.12 which I compiled by hand on Debian 3.0
>
> With other windowmanagers I can rename files.
Does this problem persist with 1.0.0.13?
- 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.