mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
Use context-dependent Ctrl/Cmd+Enter shortcut to take into account the OS of the client process GitOrigin-RevId: 1ec4df494b81c9c25972918a4f25a9e8d02688e9