Do not change notebook tab in document-close callback
commit624c11cec07c7eec88fc9212c55352fb383835d3
authorJiří Techet <techet@gmail.com>
Sat, 24 Dec 2011 11:27:50 +0000 (24 12:27 +0100)
committerJiří Techet <techet@gmail.com>
Sat, 24 Dec 2011 11:31:22 +0000 (24 12:31 +0100)
treef862820c0e377c2a8f7e39c1b1e876d3989099a4
parentddbb2535f456055e9a8ac9a5bcab0a544ecb555b
Do not change notebook tab in document-close callback

This can lead to unpredictable behavior of document_get_current()
src/notebook.c