changing alt btn shortcut to ctrl for linux
changing alt btn shortcut to ctrl for linux

gunnarthor1/korp-frontend,gunnarthor1/korp-frontend,spraakbanken/korp-frontend,spraakbanken/korp-frontend,gunnarthor1/korp-frontend,spraakbanken/korp-frontend