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