a less intrusive Isabelle symbols reload in the open editors: just sync the symbols instead of reloading the whole document;
preserve scroll when reloading document