GTK-Launch is a program launcher, the equivalent of "Run Command" in KDE or GNOME. It features a command history, and only runs the command if it is valid. - ehaupt ehaupt@critical.ch