Re: two quick misc. questions - labeling workspace and changing title bar height...

Tuomo Valkonen <[email protected]>
Newsgroups gmane.comp.window-managers.ion.general
Message-ID <[email protected]> 
On 2008-11-14, Juri Mianovich <juri_mian-/[email protected]> wrote:
> I did this, and the workspace still has:
>
> xterm<5>
>
> in the title.  

It's not workspace title. It's the window title.
Workspace titles aren't shown.

-- 
Be an early adopter! Beat the herd! Choose Windows today!
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.