[josm-dev] Right side panel improvements ...

[Rolf Bode-Meyer]

2009/1/9 Ulf Lamping <ulf.lamping at googlemail.com>:
> Over the past hours (days?), I've tried to improve the general
> usefulness of the panels on the right side.

Thanks, very helpful so far.

> Please have a look and give feedback.

You've also added a pin icon to undock the panel. But I can't see a
simple way to redock it.
Also if undocked, the respective toolbar icon just removes the content
from the undocked window. While this might be technically correct,
it's not what I expected (closing the whole window). I don't need the
undock functionality at all, but when keeping it, please consider to
change the handling.

Also I generally miss a way to place a panel at a particular position
within the right side. In the context of undock/close, at the moment
when undocking and then closing a panel-window and then reopening it,
it's placed at the bottom.

Also generally I'd really like to see a horizontally resizeable
right-panels-column.



Regards,
Rolf