Re: themes padding
simargl <[email protected]>
| Newsgroups | gmane.comp.window-managers.openbox |
|---|---|
| Message-ID | <CADSx_Hn5dyox0ZC4f6UV=bhV9K5GHX5EFO6-uE6XxrSz0TVUOw@mail.gmail.com> |
On Sun, Dec 29, 2013 at 7:13 PM, Dana Jansens <[email protected]> wrote: > On Sun, Dec 29, 2013 at 7:11 AM, simargl <[email protected]> wrote: > >> Hello, >> >> Trying to make openbox theme with bigger titlebar to match GTK3 Headerbar >> there, I'm interested is there some way to define different padding width >> and height for Separator label than for Titlebar. If using same size >> (padding.width and padding.height seems like only options and they apply to >> both) Separator label is too big, ... >> > > There's only 1 padding option in the theme format at this time. You can > use the font size to change the titlebar size however. > > >> Thanks for you answer. Guess I'll just remove separator label from the menu. Don't know if you agree, but still maybe it would be better if this label had same height by default as other menu items, I mean it doesn't use colors from title bar element, so why is needed same height. > _______________________________________________ >> openbox mailing list >> [email protected] >> http://icculus.org/mailman/listinfo/openbox >> >> > > _______________________________________________ > openbox mailing list > [email protected] > http://icculus.org/mailman/listinfo/openbox > > _______________________________________________ openbox mailing list [email protected] http://icculus.org/mailman/listinfo/openbox