remove annoying soft-tab behaviour and add dedent

This commit is contained in:
Pelanyo Kamara 2021-12-14 17:12:26 +00:00
parent 2290cc18bb
commit 350254af2b
No known key found for this signature in database
GPG key ID: 1C8B9C40A2527035

View file

@ -39,8 +39,16 @@
matchBrackets: true, matchBrackets: true,
lineNumbers: true, lineNumbers: true,
smartIndent: true, smartIndent: true,
indentWithTabs: true,
indentUnit: 4,
}); });
editor.setValue("print(\"Hello World!\")\n"); editor.setValue("print(\"Hello World!\")\n");
editor.addKeyMap({
"Shift-Tab": function (cm) {
// dedent functionality
cm.execCommand("indentLess");
}
});
// Misc Functions // Misc Functions
function output(text) { function output(text) {