Use keyboard_manager instead of hack for 'indentLess' hotkey
Remove console.log
Merge pull request #132 from juhasch/shift-tab

Use keyboard_manager instead of hack for 'indentLess' hotkey