Re: oops - gnome-terminal patch v2 :)




> This adds a rightclick->set titlebar option to gnome-terminal.  Handy for
> having dozens of terminals open...

Wouldnt it be easier to just have a shell script that would set the
title bar?  You could call it "terminal-control".

termina-control --title="My Title"


-- 
miguel@gnu.org



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]