mailing-list for TeXmacs Users

Text archives Help


GUI-bug, cannot rename file under KDE


Chronological Thread 
  • From: Jan Ulrich Hasecke <address@hidden>
  • To: address@hidden
  • Subject: GUI-bug, cannot rename file under KDE
  • Date: Wed, 14 Aug 2002 09:31:51 +0200

Hi,

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.

Ciao!
juh

--
Brot für die Welt, Büchsenfleisch für Bayern
http://www.sudelbuch.de/2000/20001219.html



Archive powered by MHonArc 2.6.19.

Top of page