On 12/12/05, Alexander Toresson <alexander.toresson at gmail.com> wrote: > FYI, Terminal was renamed to xfce4-terminal by the debian xfce > maintainers. Bad choice of name, imho. Which, Terminal or xfce4-terminal? Oh... both. :) -- http://aconkling.blogspot.com