mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 11:50:54 +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