Re: Dock padding_pixels suggestion
Tuomo Valkonen <[email protected]>
| Newsgroups | gmane.comp.window-managers.ion.general |
|---|---|
| Message-ID | <[email protected]> |
On 2007-07-14, Thomas Leonard <[email protected]> wrote: > When the pointer is over the panel, the focus is lost. No, the panel gets the focus, because it doesn't have SKIP_FOCUS flag set, unlike the dock. Hmm... maybe I could make the flag management more dynamic... -- Tuomo