Text editors

Shortcuts are defined in file lib/editor/htmlarea.php and there is no administration of shortcuts elsewhere so you need to edit that file and comment/remove/change the shortcuts you don't need - search Ctrl + Alt modifiers