Hello,
I have a question which hopefully has a nice answer. :-) Sometimes I
would close by mistake a tool dock by clicking alt-F4 a little too
fast, while the dock has the focus, but I thought it was the image
(and I wanted to close this image). Then the dock configuration (which
tools were set
On Fri, 2012-09-14 at 02:08 +0900, Jehan Pagès wrote:
Hello,
I have a question which hopefully has a nice answer. :-) Sometimes I
would close by mistake a tool dock
Look in the Windows menu for Recently closed docks.
Liam
--
Liam Quin - XML Activity Lead, W3C,
On Thu, Sep 13, 2012 at 9:08 PM, Jehan Pagès wrote:
I tried to search but could not find a solution to this: would there
be an option right now to prevent the tool docks from closing by the
usual window-close event (so you could close them by the dock menu
explicitely, but not by quick
Hi,
On Fri, Sep 14, 2012 at 2:13 AM, Liam R E Quin l...@w3.org wrote:
On Fri, 2012-09-14 at 02:08 +0900, Jehan Pagès wrote:
Hello,
I have a question which hopefully has a nice answer. :-) Sometimes I
would close by mistake a tool dock
Look in the Windows menu for Recently closed docks.
On Fri, Sep 14, 2012 at 6:39 AM, Jehan Pagès wrote:
Thanks, but I had seen this option and tested it before. This option
only prevents a tab from being dragged out of a dock by the mouse by
accident. It does not prevent the whole dock from being closed.
OK, I see what you mean. Is there no