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. > > Perhaps the style below could be added to the default theme to change that?
The dock is for window maker dockapps, and as such needs a border in many styles. I have actually considered removing the dock module from the Ion distribution as I'm not really interested in maintaining it. (It could still be installed separately, if someone else bothered maintaining it... I consider it mostly redundant.) 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. > ZeroInstall I will post another reply. -- Tuomo
