Re: Dock padding_pixels suggestion
Thomas Leonard <[email protected]>
| Newsgroups | gmane.comp.window-managers.ion.general |
|---|---|
| Message-ID | <[email protected]> |
On Fri, 13 Jul 2007 11:20:14 +0000, Tuomo Valkonen wrote: > On 2007-07-10, Tuomo Valkonen <[email protected]> wrote: >> That's the wrong hook. You probably want "clientwin_do_manage_alt", > > http://iki.fi/tuomov/repos/ion-scripts-3/scripts/panel.lua Ah, thanks! That works here for horizontal panels. What has to be changed for vertical ones (like dock's "grow" attribute)? Vertical panels seem to fill the whole screen... -- Dr Thomas Leonard http://rox.sourceforge.net GPG: 9242 9807 C985 3C07 44A6 8B9A AE07 8280 59A5 3CC1