let notebook = new notebook in
let rendering_window' = new rendering_window output notebook in
rendering_window'#set_auto_disambiguation !auto_disambiguation;
let notebook = new notebook in
let rendering_window' = new rendering_window output notebook in
rendering_window'#set_auto_disambiguation !auto_disambiguation;