Re: newbie user difficulty in managing dockapp

[Wolfgang Lux]

Zhang Weiwu wrote:

> Wolfgang Lux wrote:
> > This is a backend bug.
> Hi. By "backend bug" do you mean bug in AppKit or in art? If in  
> art, I guess I can workaround it by try & get backend-xlibs running.

It is a bug in the window manager interface, which is shared between  
all backends (art, xlib, cairo). Thus, changing the backend won't  
help you here.

Wolfgang