Re: Dock padding_pixels suggestion

Tuomo Valkonen <[email protected]> Fri, 13 Jul 2007 11:20:14 +0000 (UTC)

Newsgroups	gmane.comp.window-managers.ion.general
Message-ID	<[email protected]>

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

-- 
Tuomo

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.