Hi,
On Fri, Sep 14, 2012 at 11:45 AM, Alexandre Prokoudine
wrote:
> 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 preven
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
Hi,
On Fri, Sep 14, 2012 at 2:59 AM, Alexandre Prokoudine
wrote:
> 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
Hi,
On Fri, Sep 14, 2012 at 2:13 AM, Liam R E Quin 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.
Nic
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 sho
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, http://www.w3.org/People