mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
According to the new mockups, change its name, make it a toggleable action and move it to Internal Actions | UI. GitOrigin-RevId: 6bc222bb9fe1436dadb83fc6b80c626bdc46e8cb