Towards resolving #76901 - The tools should be dockable

["Robert Staudinger" <robert staudinger gmail com>]

Hi,

The patch available in #340352 [1] lowers the bar for a few others to
be fixed, among those the ol' docking request. That one has potential
for controversity, therefore it might be helpful agreeing on a
solution before putting time into a fix. So here is the reproduction
of my bugzilla "RFC":


Bug  #76901 [2] - The tools should be dockable

I am wondering how to best integrate this with the current CSDI model.
Assume 3 diagrams are open, the toolbox is docked to the one currently being
worked on. Now Alt+Tab to another diagram, should the toolbox
 (1) be re-docked to the one receiving the focus
 (2) be undocked
 (3) stay docked to the diagram that loses the focus
 (4) should multiple instances of the toolbox be allowed in docked mode?


To illustrate stuff a bit i reparented toolbox and diagram into a pane widget:
http://gnome.org/~robsta/tmp/har-har-har.png
(also includes a standard toolbar patch which i'll submit after the
[1] patch is in, only like 10 lines anyways).

[1] http://bugzilla.gnome.org/show_bug.cgi?id=340352
[2] http://bugzilla.gnome.org/show_bug.cgi?id=76901

Best,
Rob