Fixed conflicts between custom keyboardshortcuts and Scintilla-native ones. Still, non-letter shortcuts involvind Ctrl-Shift may not work properly. Not a big deal though