mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
- remove zoom shortcuts from keymaps where they are duplicated - show comment in settings only if all three zoom shortcuts are available GitOrigin-RevId: fcba2e5a872fe4f0b248b6533c1964b985429877