2009/11/18 Rogério Brito <rbr...@ime.usp.br>: > On Nov 18 2009, Joachim Wiedorn wrote: >> I find the simplest way is to use *ManEdit*. > > Is this the same as gmanedit (that's the only one that seems to be > available in the archives)? I remember having used it some ages ago and > I wasn't impressed, but that was a long time ago.
Nope, manedit seems to have been removed from the archive due to the GTK+ 1.2 removal: http://packages.debian.org/search?keywords=manedit http://bugs.debian.org/515844 Looks like it is dead upstream too: http://wolfpack.twu.net/ManEdit/ -- bye, pabs http://wiki.debian.org/PaulWise -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org