function indentText() {
        var editor = EditorManager.getFocusedEditor();
        if (!editor) {
            return;
        }

        editor._codeMirror.execCommand("indentMore");
    }
Indent a line of text if no selection. Otherwise, indent all lines in selection.