Coqide Detach View: avoid doing gtk stuff in sub-thread (fix #2863)

 In Win32, playing with gtk stuff outside gtk's main loop causes
 coqide to crash: we should be careful when using do_if_not_computing
 and its Thread.create. In the case of Detach View anyway, the
 do_if_not_computing was clearly useless. Strangely, the unix gtk
 seems more resilient and was not crashing ...

 Btw, avoid maintaining a thread-unsafe list of detached_views,
 use instead gtk callbacks to close detached views when their
 corresponding buffer in the main window is closed.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15950 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions