Merge pull request #16003 from aaronang/fix/shift-tab
fix(editor): Unindent line when nothing is selected
This commit is contained in:
@ -78,11 +78,7 @@ export class Editor extends PureComponent {
|
|||||||
return cm.replaceSelection(spaces);
|
return cm.replaceSelection(spaces);
|
||||||
},
|
},
|
||||||
'Shift-Tab': function(cm) {
|
'Shift-Tab': function(cm) {
|
||||||
if (cm.somethingSelected()) {
|
return cm.indentSelection('subtract');
|
||||||
return cm.indentSelection('subtract');
|
|
||||||
}
|
|
||||||
const spaces = Array(cm.getOption('indentUnit') + 1).join(' ');
|
|
||||||
return cm.replaceSelection(spaces);
|
|
||||||
},
|
},
|
||||||
'Ctrl-Enter': function() {
|
'Ctrl-Enter': function() {
|
||||||
executeChallenge();
|
executeChallenge();
|
||||||
|
Reference in New Issue
Block a user