Don't block on tab-completion when session is dead
commitf338c307d6d81b3bc509141ea966342ef1b1e4d1
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 23 Aug 2010 09:16:37 +0000 (23 09:16 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 23 Aug 2010 09:16:37 +0000 (23 09:16 +0000)
treeb81ea84e29b2577a552bd755a4d4c3ff1e7a7fe3
parent3a555cc094855ef6f46a5f07be91cb83e290e54d
Don't block on tab-completion when session is dead

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@3040 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/dynamic/session-edit.scm