Re: newbie user difficulty in managing dockapp

[Wolfgang Lux]

Pete French wrote:

> Please do. This used to work OK, but it stopped a while ago - it's
> not irritating enough that I ever got around to ooking at it in
> detail, but if it could be reported so it is in the bug system that
> would be gerat, and you seem to have more of a clue about it than I  
> do ;)

OK, I've just filed a bug report (http://savannah.gnu.org/bugs/?26438).

Wolfgang