Re: Is a borderless dock area possible?
Garry Hoberg <garry_hoberg-S0/[email protected]>
| Newsgroups | gmane.comp.window-managers.openbox |
|---|---|
| Message-ID | <20150707104659.16177e46@Scorpy-alt> |
> > Does this do what you want? > > > > osd.border.width: 0 Not exactly. (Totally forgot about themes, read up on this and few more properties and fiddled around now.) The border actually consists of two pixels. The outer one is osd.border and the inner one is osd.bg.border. I like those the way they are for the desktop switching and task switching popups. What I'd like to do is change them for the dock only. But that doesn't seem to be possible. By the way: osd.border.width does exist and work but it seems there is no osd.bg.border.width imlemented. Bug? > I did not ask this question, but I am also interested in the answer. > Where would this be placed? In the Openbox theme file. On my system: /usr/share/themes/<name of theme>/openbox-3/themerc -- Diese E-Mail wurde ganz ohne iPlay, iToy oder anderen iNonsense erstellt und geschickt. _______________________________________________ openbox mailing list [email protected] http://icculus.org/mailman/listinfo/openbox