Introduction of exec_delayed_pause
commitb54adce5bf86bf72403025b19ebb687a38ea6a79
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 2 Oct 2009 21:38:20 +0000 (2 21:38 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Fri, 2 Oct 2009 21:38:20 +0000 (2 21:38 +0000)
tree53dbbd3a45cc2ead6295365f2e472aff36eba878
parent364d1222d32a75157f1740dd92c4ee4169b03497
Introduction of exec_delayed_pause

git-svn-id: svn://svn.savannah.gnu.org/texmacs/trunk@2757 64cb5145-927a-446d-8aed-2fb7b4773692
src/TeXmacs/progs/kernel/texmacs/tm-dialogue.scm
src/src/Guile/Glue/build-glue-basic.scm
src/src/Guile/Glue/glue_basic.cpp
src/src/Guile/Scheme/object.cpp
src/src/Guile/Scheme/object.hpp