tree 6c016d76cc324e4d7ecb2a46d3ec8cb5173165c1
parent d2452ae3d71bb77d19de56cc63dfa9db556fe96d
author nitind <nitind> 1137623629 +0000
committer nitind <nitind> 1137623629 +0000

[117425] selection changes radically and editor scrolls when deleting an element from the source view