Re: Dock padding_pixels suggestion

On Tue, 10 Jul 2007 20:27:39 +0000, Tuomo Valkonen wrote:

> On 2007-07-10, Thomas Leonard <[email protected]> wrote:
>> One minor issue I noticed is that the dock has a 1 pixel border by
>> default. Normally, to run something in ROX's panel you just whack the
>> pointer in the general direction of the screen edge and click, but with
>> the border gap that doesn't work.
[...]
> You know, you're really doing things all wrong by putting the panel
> thingy in the dock. You should just make the panel itself the stdisp.
> This can be done with WMPlex.set_stdisp. I'm not 100% if it works in 
> an initial window management hook: I've not actually tested if the
> hooks are usable at all... It would be nice if someone tried that 
> out with a real application. There could also be some issues with
> size hint usage, which could still be fixed. 

That sounds better. I'm not sure how to do it though (I'm still new to Ion!).

Which hook should I connect to? I guess I need to get called when a new
screen is created, and then pass '_' as the first argument to set_stdisp,
right? I tried this, but _ is nil:

ioncore.get_hook("ioncore_post_layout_setup_hook"):add(
    function()
	panel = WMPlex.set_stdisp(_, {pos = 'bl'})
    	WRegion.set_name(panel, "panel")
    end
)

defwinprop{
    class = "ROX-Filer",
    instance = "ROX-Panel",
    target = "panel",
}

Thanks,


-- 
Dr Thomas Leonard		http://rox.sourceforge.net
GPG: 9242 9807 C985 3C07 44A6  8B9A AE07 8280 59A5 3CC1