@devpodio/keymaps (npm): Theia - Custom Keymaps Extension
Keywords: theia-extension