Re: Dock padding_pixels suggestion
Tuomo Valkonen <[email protected]>
| Newsgroups | gmane.comp.window-managers.ion.general |
|---|---|
| Message-ID | <[email protected]> |
On 2007-07-13, Thomas Leonard <[email protected]> wrote: > 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... Can't be done, actually. The dock can report its orientation with region_orientation, but there's no way to manually configure that information for client windows, for which it isn't otherwise available. -- Tuomo