[Notion-general] Panels with notion?

[David G. <dg...@co...>]

I would like to use Notion with Gnome. (Don't laugh, okay?) (And right
now this is all in floating mode.) Currently, it *works*, but Notion
doesn't appear to understand panels, and they're appearing as ordinary
windows.

Is there any way to persuade notion to handle docked windows in a more,
ah, traditional way? While I can force them into frames manually, it'd
be very much easier (and more user friendly) to have it all Just Work,
and then have notion manage the space between the panels. I have tried
mod_dock, but it doesn't appear to do what I want.

I've observed this with both Gnome panels and gkrellm in docked mode.
(Incidentally, notion is also not honouring gkrellm's request for no
window manager decoration.)

-- 
┌─── ｄｇ＠ｃｏｗｌａｒｋ．ｃｏｍ ───── http://www.cowlark.com ─────
│ "I have always wished for my computer to be as easy to use as my
│ telephone; my wish has come true because I can no longer figure out
│ how to use my telephone." --- Bjarne Stroustrup