          'ch': 0,
                        'sticky': null
                    }, {
                        'line': inst.lastLine(),
                        'ch': 0,
                        'sticky': null
                    },
                    {scroll: false});

                inst.indentSelection("smart");

                // Move cursor to correct position:
                var cursor = inst.getSearchCursor(String.fromCharCode(chr), false);
                if (cursor.findNext()) {
                    i