Several fixes
commit334dfb6f435b2efb17d0c22703b5b46dba9de53e
authorvdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 11 May 2009 08:01:34 +0000 (11 08:01 +0000)
committervdhoeven <vdhoeven@64cb5145-927a-446d-8aed-2fb7b4773692>
Mon, 11 May 2009 08:01:34 +0000 (11 08:01 +0000)
treef4c57c25c7296e734e82950ceb69d73cf13c42d4
parentf4848bdaa73dfb1b2ecfb60e4818468222971b74
Several fixes

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