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-13, Juri Mianovich <juri_mian-/[email protected]> wrote: > Hello, > > When I create a workspace, it is named: > ><empty frame> That's not the workspace name; it's just indicator of an empty frame. > "my favorite xterms" (or whatever) and have that name/title stick ? Mod1+M workspace/rename > Second, I'd like to change the height of the title bar slightly and have > that new height apply to all future title bars. How can I do that ? Change the style file. PS. Turn on line in your mail program. Max. ~76 characters/line. -- Be an early adopter! Beat the herd! Choose Windows today!