mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
Viewport was not scrolled back to the place were change was made when undoing global operation (refactoring). GitOrigin-RevId: f44c6279fbae1ca72373ae3574234e0d609df0ef