Following on from the recent thread on latex, can I ask what editors people use on Debian? I'm a complete latex noob but I have played briefly with
Kile back when I had KDE. Now I've got gnome so maybe there's a good gnome alternative? According to wikipedia there's one called gummi built using gtk but it seems pretty early in the development and it's not available in the lenny repos. So...