| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213 | ace.define("ace/ext/whitespace",["require","exports","module","ace/lib/lang"], function(require, exports, module) {"use strict";var lang = require("../lib/lang");exports.$detectIndentation = function(lines, fallback) {    var stats = [];    var changes = [];    var tabIndents = 0;    var prevSpaces = 0;    var max = Math.min(lines.length, 1000);    for (var i = 0; i < max; i++) {        var line = lines[i];        if (!/^\s*[^*+\-\s]/.test(line))            continue;        if (line[0] == "\t") {            tabIndents++;            prevSpaces = -Number.MAX_VALUE;        } else {            var spaces = line.match(/^ */)[0].length;            if (spaces && line[spaces] != "\t") {                var diff = spaces - prevSpaces;                if (diff > 0 && !(prevSpaces%diff) && !(spaces%diff))                    changes[diff] = (changes[diff] || 0) + 1;                    stats[spaces] = (stats[spaces] || 0) + 1;            }            prevSpaces = spaces;        }        while (i < max && line[line.length - 1] == "\\")            line = lines[i++];    }        function getScore(indent) {        var score = 0;        for (var i = indent; i < stats.length; i += indent)            score += stats[i] || 0;        return score;    }    var changesTotal = changes.reduce(function(a,b){return a+b;}, 0);    var first = {score: 0, length: 0};    var spaceIndents = 0;    for (var i = 1; i < 12; i++) {        var score = getScore(i);        if (i == 1) {            spaceIndents = score;            score = stats[1] ? 0.9 : 0.8;            if (!stats.length)                score = 0;        } else            score /= spaceIndents;        if (changes[i])            score += changes[i] / changesTotal;        if (score > first.score)            first = {score: score, length: i};    }    if (first.score && first.score > 1.4)        var tabLength = first.length;    if (tabIndents > spaceIndents + 1) {        if (tabLength == 1 || spaceIndents < tabIndents / 4 || first.score < 1.8)            tabLength = undefined;        return {ch: "\t", length: tabLength};    }    if (spaceIndents > tabIndents + 1)        return {ch: " ", length: tabLength};};exports.detectIndentation = function(session) {    var lines = session.getLines(0, 1000);    var indent = exports.$detectIndentation(lines) || {};    if (indent.ch)        session.setUseSoftTabs(indent.ch == " ");    if (indent.length)        session.setTabSize(indent.length);    return indent;};exports.trimTrailingSpace = function(session, options) {    var doc = session.getDocument();    var lines = doc.getAllLines();        var min = options && options.trimEmpty ? -1 : 0;    var cursors = [], ci = -1;    if (options && options.keepCursorPosition) {        if (session.selection.rangeCount) {            session.selection.rangeList.ranges.forEach(function(x, i, ranges) {               var next = ranges[i + 1];               if (next && next.cursor.row == x.cursor.row)                  return;              cursors.push(x.cursor);            });        } else {            cursors.push(session.selection.getCursor());        }        ci = 0;    }    var cursorRow = cursors[ci] && cursors[ci].row;    for (var i = 0, l=lines.length; i < l; i++) {        var line = lines[i];        var index = line.search(/\s+$/);        if (i == cursorRow) {            if (index < cursors[ci].column && index > min)               index = cursors[ci].column;            ci++;            cursorRow = cursors[ci] ? cursors[ci].row : -1;        }        if (index > min)            doc.removeInLine(i, index, line.length);    }};exports.convertIndentation = function(session, ch, len) {    var oldCh = session.getTabString()[0];    var oldLen = session.getTabSize();    if (!len) len = oldLen;    if (!ch) ch = oldCh;    var tab = ch == "\t" ? ch: lang.stringRepeat(ch, len);    var doc = session.doc;    var lines = doc.getAllLines();    var cache = {};    var spaceCache = {};    for (var i = 0, l=lines.length; i < l; i++) {        var line = lines[i];        var match = line.match(/^\s*/)[0];        if (match) {            var w = session.$getStringScreenWidth(match)[0];            var tabCount = Math.floor(w/oldLen);            var reminder = w%oldLen;            var toInsert = cache[tabCount] || (cache[tabCount] = lang.stringRepeat(tab, tabCount));            toInsert += spaceCache[reminder] || (spaceCache[reminder] = lang.stringRepeat(" ", reminder));            if (toInsert != match) {                doc.removeInLine(i, 0, match.length);                doc.insertInLine({row: i, column: 0}, toInsert);            }        }    }    session.setTabSize(len);    session.setUseSoftTabs(ch == " ");};exports.$parseStringArg = function(text) {    var indent = {};    if (/t/.test(text))        indent.ch = "\t";    else if (/s/.test(text))        indent.ch = " ";    var m = text.match(/\d+/);    if (m)        indent.length = parseInt(m[0], 10);    return indent;};exports.$parseArg = function(arg) {    if (!arg)        return {};    if (typeof arg == "string")        return exports.$parseStringArg(arg);    if (typeof arg.text == "string")        return exports.$parseStringArg(arg.text);    return arg;};exports.commands = [{    name: "detectIndentation",    description: "Detect indentation from content",    exec: function(editor) {        exports.detectIndentation(editor.session);    }}, {    name: "trimTrailingSpace",    description: "Trim trailing whitespace",    exec: function(editor, args) {        exports.trimTrailingSpace(editor.session, args);    }}, {    name: "convertIndentation",    description: "Convert indentation to ...",    exec: function(editor, arg) {        var indent = exports.$parseArg(arg);        exports.convertIndentation(editor.session, indent.ch, indent.length);    }}, {    name: "setIndentation",    description: "Set indentation",    exec: function(editor, arg) {        var indent = exports.$parseArg(arg);        indent.length && editor.session.setTabSize(indent.length);        indent.ch && editor.session.setUseSoftTabs(indent.ch == " ");    }}];});                (function() {                    ace.require(["ace/ext/whitespace"], function(m) {                        if (typeof module == "object" && typeof exports == "object" && module) {                            module.exports = m;                        }                    });                })();            
 |