This extension adds Ctrl+Shift+i as a shortcut for toggling insert/overtype mode, which hides a command for formatting current document on linux (for some reason it's Ctrl Shift I as well). My first instict was to change default shortcut on linux, but then it got me thinking, if additional shortcut is really necessary? There already is a dedicated key for this, and even for someone using some smaller keyboard without all the keys on the right, it's possible to just click at insert/overtype in the status bar to change mode. So, what do you think about just deleting this shortcut?
This extension adds Ctrl+Shift+i as a shortcut for toggling insert/overtype mode, which hides a command for formatting current document on linux (for some reason it's Ctrl Shift I as well). My first instict was to change default shortcut on linux, but then it got me thinking, if additional shortcut is really necessary? There already is a dedicated key for this, and even for someone using some smaller keyboard without all the keys on the right, it's possible to just click at insert/overtype in the status bar to change mode. So, what do you think about just deleting this shortcut?