execution point and breakpoints now mirrored in all editors