On Mon, 2 Sep 2013, Xiangrong Fang wrote: > You may try anchordocking, although that also has some bugs, but are small ones, (e.g. window layout cannot be saved). Yes, unfortunately docking has disadvantages which I find hard to live with. Michael