Gnome-Doというランチャがかなり良い．まだ，使い始めたばかりでいろいろな機能を知っているわけではないのだが，ほしかった足りなかったものを見つけた気がする．動作の様子は以下の動画を見るとわかりやすい． http://video.google.com/videoplay?docid=-7…