Function getNonHidden

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1416–1427

(dir)

        }
        function skipHidden(pos, oldLine, oldCh) {
            function getNonHidden(dir) {
                var lNo = pos.line + dir, end = dir == 1 ? doc.size : -1;
                while (lNo != end) {
                    var line = getLine(lNo);
                    if (!line.hidden) {
                        var ch = pos.ch;
                        if (toEnd || ch > oldCh || ch > line.text.length) ch = line.text.length;
                        return {line: lNo, ch: ch};
                    }
                    lNo += dir;
                }
            }
            var line = getLine(pos.line);
            var toEnd = pos.ch == line.text.length && pos.ch != oldCh;
            if (!line.hidden) return pos;