flea-qml 0.0.0-stage → 0.2.0

package/ui/js/MdLeaf.js

@@ -0,0 +1,309 @@
+.pragma library
+
+// MdLeaf: leaf-block readers over MdRun (tasks, fences, breaks, tables, images, alerts), each a pure function of its lines.
+.import "MdUrl.js" as MdUrl
+.import "MdHtml.js" as MdHtml
+.import "MdInline.js" as Md
+.import "MdHtmlImage.js" as HtmlImage
+.import "MdLink.js" as Link
+
+// The limits MdContainer names for list markers; the worker bundle shares only functions between files, so each holds its own.
+var MAX_MARKER_INDENT = 3
+var MAX_MARKER_DIGITS = 9
+var MAX_HEADING_LEVEL = 6
+var hasOwn = Object.prototype.hasOwnProperty
+var ORDERED_MARKER = new RegExp("^(\\d{1," + MAX_MARKER_DIGITS + "})([.)])(?=[ \\t]|$)")
+var HEADING_MARKER = new RegExp("^(?:[-+*](?:[ \\t]|$)|>|#{1," + MAX_HEADING_LEVEL + "}(?:[ \\t]|$)|```|~~~)")
+
+// A family that holds both box glyphs, so the open and the done box draw from one text font and neither falls back to a colour emoji font.
+var TASK_BOX_FACE = "Noto Sans Symbols 2"
+var TASK_BOX_LEAD = /^([\u2610\u2611]) /
+
+// Sample input: "[x] done" draws U+2611 and "[ ] pending" draws U+2610; pinTaskBox then sets the box in TASK_BOX_FACE.
+function taskText(text) {
+    var m = /^\[([ xX])\] (.*)$/.exec(String(text))
+    if (m === null)
+        return text
+    return (m[1] === " " ? "\u2610 " : "\u2611 ") + m[2]
+}
+
+// Sample input: "\u2611 done" answers '<font face="Noto Sans Symbols 2">\u2611</font> done'; a font tag with no colour survives Text.MarkdownText and keeps the row ink.
+function pinTaskBox(text) {
+    var m = TASK_BOX_LEAD.exec(String(text))
+    return m === null ? text : '<font face="' + TASK_BOX_FACE + '">' + m[1] + "</font>" + text.slice(1)
+}
+
+// Sample input: "  * * *" is a thematic break.
+function isThematic(line) {
+    return /^ {0,3}([*_-])(?:[ \t]*\1){2,}[ \t]*$/.test(String(line))
+}
+
+// Sample input: "## Second level ##" answers { level: 2, text: "Second level" }; "#hashtag" answers null.
+function atxHeading(line) {
+    var s = String(line)
+    var i = 0
+    while (i < MAX_MARKER_INDENT && s.charAt(i) === " ")
+        i++
+    var from = i
+    while (i < s.length && s.charAt(i) === "#")
+        i++
+    var level = i - from
+    if (level < 1 || level > MAX_HEADING_LEVEL || (i < s.length && s.charAt(i) !== " " && s.charAt(i) !== "\t"))
+        return null
+    var end = s.length
+    while (end > i && (s.charAt(end - 1) === " " || s.charAt(end - 1) === "\t"))
+        end--
+    var close = end
+    while (close > i && s.charAt(close - 1) === "#")
+        close--
+    if (close < end && (close === i || s.charAt(close - 1) === " " || s.charAt(close - 1) === "\t"))
+        end = close
+    while (end > i && (s.charAt(end - 1) === " " || s.charAt(end - 1) === "\t"))
+        end--
+    while (i < end && (s.charAt(i) === " " || s.charAt(i) === "\t"))
+        i++
+    return { level: level, text: s.slice(i, end) }
+}
+
+// Sample input: 1. Intro answers 1\. Intro; - item answers \- item; _Plain_ is unchanged.
+function headingSafe(text) {
+    var t = String(text)
+    var ordered = ORDERED_MARKER.exec(t)
+    if (ordered !== null)
+        return ordered[1] + "\\" + t.slice(ordered[1].length)
+    var block = HEADING_MARKER.test(t)
+    return block || isThematic(t) ? "\\" + t : t
+}
+
+// Sample: "Title\n=" or "Title\n--" closes a paragraph with a setext underline.
+function isSetext(line) {
+    return /^ {0,3}(?:=+|-+)[ \t]*$/.test(String(line))
+}
+
+// Sample input: "===" underlines a level 1 heading, "---" and "--" a level 2.
+function setextLevel(line) {
+    return String(line).trim().charAt(0) === "=" ? 1 : 2
+}
+
+// Sample input: "```js" opens a backtick fence with info "js".
+function fenceOpen(line) {
+    var m = /^( {0,3})(```+|~~~+) *(.*)$/.exec(String(line))
+    if (m === null)
+        return null
+    if (m[2].charAt(0) === "`" && m[3].indexOf("`") >= 0)
+        return null
+    return { tick: m[2].charAt(0), len: m[2].length, indent: m[1].length, info: m[3].replace(/\s+$/, "") }
+}
+
+// Sample input: "| :--- | ---: |"; dashes with optional edge colons carry the alignment, anything else is not a table.
+function delimAligns(line) {
+    var cells = String(line).trim().replace(/^\||\|$/g, "").split("|")
+    if (cells.length === 0)
+        return null
+    var aligns = []
+    for (var i = 0; i < cells.length; i++) {
+        var m = cells[i].match(/^\s*(:?)-+(:?)\s*$/)
+        if (!m)
+            return null
+        aligns.push(m[1] && m[2] ? "center" : m[2] ? "right" : "left")
+    }
+    return aligns
+}
+
+// Sample input: "| a | b \|" keeps the final pipe as cell text; other backslash pairs reach the inline scanner.
+function splitRow(line) {
+    var text = String(line).trim().replace(/^\|/, "")
+    var cells = []
+    var cell = ""
+    for (var i = 0; i < text.length; i++) {
+        var ch = text.charAt(i)
+        if (ch === "\\" && i + 1 < text.length && /[!"#$%&'()*+,\-./:;<=>?@[\\\]^_`{|}~]/.test(text.charAt(i + 1))) {
+            cell += text.charAt(i + 1) === "|" ? "|" : ch + text.charAt(i + 1)
+            i++
+        } else if (ch === "|") {
+            if (i + 1 === text.length)
+                break
+            cells.push(cell)
+            cell = ""
+        } else {
+            cell += ch
+        }
+    }
+    cells.push(cell)
+    for (var j = 0; j < cells.length; j++)
+        cells[j] = cells[j].trim()
+    return cells
+}
+
+// Rows per table chunk and items per list chunk: a longer container is emitted as consecutive blocks the outer ListView draws lazily.
+var TABLE_CHUNK_ROWS = 24
+var LIST_CHUNK_ITEMS = 32
+
+// Columns an image holds in a cell's measure; its true width is only known once Qt decodes it.
+var IMAGE_COLUMNS = 8
+// One image, as the cell's Markdown or a raw tag; the private-use character stands for it while the text is counted.
+var CELL_IMAGE = /!\[[^\]]*\]\([^)]*\)|<img\b[^>]*>/gi
+// The chip pad span MdEscape.CHIP_PAD_HTML writes; a pad holds no column, and the worker bundle shares only functions between files.
+var CHIP_PAD_CELL = /<span style="font-size:chippad">&nbsp;<\/span>/g
+var CELL_GLYPH = /[\ud800-\udbff][\udc00-\udfff]|[\s\S]/g
+var WIDE_GLYPH = /[\u1100-\u115f\u2e80-\ua4cf\uac00-\ud7a3\uf900-\ufaff\ufe30-\ufe6f\uff00-\uff60\uffe0-\uffe6]/
+
+// Sample input: 'a<br>**bb** &#33; ![i](x.png)' draws lines "a" and "bb ! \ue000": 5 columns of text, 13 with the image, a longest word of 8.
+// A wide glyph counts 2, a joiner, a variation selector and a chip's pad span 0, a break starts a line, and an image counts only in image.
+function cellExtent(cell) {
+    var plain = String(cell).replace(CHIP_PAD_CELL, "").replace(/<br\s*\/?>/gi, "\n").replace(CELL_IMAGE, "\ue000").replace(/<[^>"]*("[^"]*"[^>"]*)*>/g, "").replace(/[*_~`]/g, "")
+    plain = plain.replace(/&#(\d+);/g, function (m, n) { return String.fromCharCode(parseInt(n, 10)) }).replace(/&(amp|lt|gt|quot);/g, "?")
+    var out = { text: 0, image: 0, word: 0 }
+    for (var l = 0, lines = plain.split("\n"); l < lines.length; l++) {
+        var text = 0, image = 0, word = 0, joined = false
+        var glyphs = lines[l].match(CELL_GLYPH) || []
+        for (var i = 0; i < glyphs.length; i++) {
+            var g = glyphs[i]
+            var space = /\s/.test(g)
+            var picture = g === "\ue000"
+            var cols = joined || g === "\u200d" || g === "\ufe0f" ? 0 : picture ? IMAGE_COLUMNS : space ? 1 : g.length > 1 || WIDE_GLYPH.test(g) ? 2 : 1
+            joined = g === "\u200d"
+            image += cols
+            text += picture ? 0 : cols
+            word = space ? 0 : word + cols
+            out.word = Math.max(out.word, word)
+        }
+        out.text = Math.max(out.text, text)
+        out.image = Math.max(out.image, image)
+    }
+    return out
+}
+
+// Sample input: widest(["ab", "cdef"], [{ text: 2 }, { text: 4 }], "text", false) is "cdef"; images only skips cells with no image.
+function widest(cells, drawn, key, imagesOnly) {
+    var best = ""
+    var bestColumns = 0
+    for (var i = 0; i < cells.length; i++) {
+        if (drawn[i][key] > bestColumns && (!imagesOnly || drawn[i].image > drawn[i].text)) {
+            best = cells[i]
+            bestColumns = drawn[i][key]
+        }
+    }
+    return best
+}
+
+// The board's table as data: measure is each column's widest cell so chunks share widths, pictures the widest image cell of unknown width, words the longest run.
+function tableBlock(head, aligns, rows, inlineOf) {
+    var cols = head.length
+    var shownHead = head.map(inlineOf)
+    // GFM: a row's cells beyond the header's are dropped, and a short row is padded with empty cells.
+    var shownRows = rows.map(function (cells) {
+        var row = cells.slice(0, cols).map(inlineOf)
+        while (row.length < cols)
+            row.push("")
+        return row
+    })
+    var measure = []
+    var pictures = []
+    var weights = []
+    var words = []
+    for (var c = 0; c < cols; c++) {
+        var column = [c < shownHead.length ? shownHead[c] : ""]
+        for (var r = 0; r < shownRows.length; r++)
+            column.push(c < shownRows[r].length ? shownRows[r][c] : "")
+        var drawn = column.map(cellExtent)
+        measure.push(widest(column, drawn, "text", false))
+        pictures.push(widest(column, drawn, "image", true))
+        weights.push(cellExtent(measure[c]).text)
+        words.push(cellExtent(widest(column, drawn, "word", false)).word)
+    }
+    return { type: "table", head: shownHead, aligns: aligns, rows: shownRows, cols: cols, measure: measure, pictures: pictures, weights: weights, words: words }
+}
+
+// The tables chunked so far, which numbers each one's chunks.
+var chunkedTables = 0
+
+// Splits a long table into consecutive blocks: the header stays on the first, the rest are marked joined.
+function chunkTable(table) {
+    if (table.rows.length <= TABLE_CHUNK_ROWS)
+        return [table]
+    var chunks = []
+    // Every chunk of one table carries its key and whether it is the last, so they scroll sideways as one and the last holds the bar's lane.
+    var key = ++chunkedTables
+    for (var at = 0; at < table.rows.length; at += TABLE_CHUNK_ROWS)
+        chunks.push({ type: "table", head: at === 0 ? table.head : [], aligns: table.aligns,
+            rows: table.rows.slice(at, at + TABLE_CHUNK_ROWS), cols: table.cols, measure: table.measure, pictures: table.pictures,
+            weights: table.weights, words: table.words, joined: at > 0, tableKey: key, last: at + TABLE_CHUNK_ROWS >= table.rows.length })
+    return chunks
+}
+
+// Sample input: "![alt](a.png)", "![alt][ref]" or one raw <img> tag; balanced brackets nest, backslashes skip.
+function standaloneImage(line, dir, defs) {
+    var text = String(line).trim()
+    var end = scanBalanced(text, 2)
+    if (text.charAt(0) === "!" && text.charAt(1) === "[" && end > 0) {
+        var alt = text.slice(2, end)
+        var after = end + 1
+        var target = null
+        if (text.charAt(after) === "(") {
+            var t = Link.readInlineTarget(text, after)
+            if (t === null || t.end !== text.length)
+                return null
+            target = t.url
+        } else if (text.charAt(after) === "[") {
+            var r = Link.readLabelRef(text, after)
+            if (r === null || r.end !== text.length)
+                return null
+            var key = Link.normalizeLabel(r.label.length > 0 ? r.label : alt)
+            if (!hasOwn.call(defs, key))
+                return null
+            target = defs[key]
+        } else if (after === text.length) {
+            var skey = Link.normalizeLabel(alt)
+            if (alt.length === 0 || !hasOwn.call(defs, skey))
+                return null
+            target = defs[skey]
+        } else {
+            return null
+        }
+        return imageBlock(alt, target, dir)
+    }
+    if (/^<img\b[^<>]*>$/i.test(text))
+        return HtmlImage.rawImage(text, dir)
+    return null
+}
+
+// Balanced ] scan from the [ at pos; backslash escapes skipped. -1 when open.
+function scanBalanced(text, pos) {
+    var depth = 0
+    var i = pos
+    while (i < text.length) {
+        var c = text.charAt(i)
+        if (c === "\\") {
+            i += 2
+            continue
+        }
+        if (c === "[")
+            depth++
+        else if (c === "]") {
+            if (depth === 0)
+                return i
+            depth--
+        }
+        i++
+    }
+    return -1
+}
+
+function imageBlock(alt, target, dir) {
+    var seen = MdUrl.classifyImage(target, dir)
+    if (seen.kind === "remote")
+        return { type: "remote", host: seen.host }
+    if (seen.kind === "local")
+        return { type: "image", url: seen.url, alt: alt }
+    return null
+}
+
+// Sample input: "[!NOTE] Remember this" names a GFM alert and its trailing text.
+function alertTitle(line) {
+    var m = /^\[!(NOTE|TIP|IMPORTANT|WARNING|CAUTION)\]\s*(.*)$/i.exec(String(line))
+    if (m === null)
+        return null
+    var title = m[1].charAt(0).toUpperCase() + m[1].slice(1).toLowerCase()
+    return "**" + title + "**" + (m[2].length > 0 ? " " + m[2] : "")
+}

package/ui/js/MdLink.js

@@ -0,0 +1,196 @@
+.pragma library
+
+// MdLink: the readers of a link's pieces, a destination and title, a reference label, an autolink and a bare address.
+.import "MdInline.js" as Md
+
+var TARGET_SCAN_LIMIT = 8192
+var LABEL_SCAN_LIMIT = 1000
+var MIN_BARELINK_LENGTH = 9
+var HTTP_PREFIX_LENGTH = 7
+var HTTPS_PREFIX_LENGTH = 8
+var WWW_PREFIX_LENGTH = 4
+
+// Sample input: "\n  x" read at 0 answers 4, past the line ending and the indent; "\n \n x" answers -1, a blank line.
+function skipBlanks(text, j, cap) {
+    var ending = false
+    while (j < text.length && j < cap) {
+        var c = text.charAt(j)
+        if (c === "\r" && text.charAt(j + 1) === "\n")
+            j++
+        else if (c !== " " && c !== "\t" && c !== "\n" && c !== "\r")
+            break
+        if (c === "\n" || c === "\r") {
+            if (ending)
+                return -1
+            ending = true
+        }
+        j++
+    }
+    return j
+}
+
+// Sample input: `a\>b> c` read from 0 answers 4, the ">" that closes an angle destination; a line ending, even after a backslash, answers -1; strict refuses "<".
+function angleClose(text, from, limit, strict) {
+    var j = from
+    while (j < text.length && j < limit) {
+        var c = text.charAt(j)
+        if (c === ">")
+            return j
+        if (c === "\n" || c === "\r" || (strict === true && c === "<"))
+            return -1
+        // A backslash before a line ending is no escape, so the destination ends there unclosed.
+        if (c === "\\" && (text.charAt(j + 1) === "\n" || text.charAt(j + 1) === "\r"))
+            return -1
+        j += c === "\\" ? 2 : 1
+    }
+    return -1
+}
+
+// Sample input: (b "t") after a label's "]"; answers {url, end} past ")", or null; blanks, a line ending and the title may span lines.
+function readInlineTarget(text, i) {
+    if (text.charAt(i) !== "(")
+        return null
+    // Targets past the scan limit read as literal text: no real target runs that long, and an unbounded walk is quadratic.
+    var cap = i + TARGET_SCAN_LIMIT
+    var j = skipBlanks(text, i + 1, cap)
+    if (j < 0)
+        return null
+    var url = ""
+    if (text.charAt(j) === "<") {
+        j++
+        var start = j
+        j = angleClose(text, j, cap, true)
+        if (j < 0)
+            return null
+        url = text.slice(start, j)
+        j++
+    } else {
+        var depth = 0
+        var begin = j
+        while (j < text.length && j < cap) {
+            var c = text.charAt(j)
+            if (c === "\n" || c === "\r" || ((c === " " || c === "\t") && depth === 0))
+                break
+            if (c === "\\") {
+                if (text.charAt(j + 1) === "\n" || text.charAt(j + 1) === "\r")
+                    return null
+                j += 2
+                continue
+            }
+            if (c === "(")
+                depth++
+            else if (c === ")") {
+                if (depth === 0)
+                    break
+                depth--
+            }
+            j++
+        }
+        if (j >= cap)
+            return null
+        url = text.slice(begin, j)
+    }
+    var gap = j
+    j = skipBlanks(text, j, cap)
+    if (j < 0)
+        return null
+    var opener = text.charAt(j)
+    if (j > gap && (opener === '"' || opener === "'" || opener === "(")) {
+        var qclose = opener === "(" ? ")" : opener
+        j++
+        while (j < text.length && j < cap) {
+            var titleChar = text.charAt(j)
+            if (titleChar === qclose)
+                break
+            if (titleChar === "\n" || titleChar === "\r") {
+                var next = skipBlanks(text, j, cap)
+                if (next < 0)
+                    return null
+                j = next
+                continue
+            }
+            var escaped = titleChar === "\\" && text.charAt(j + 1) !== "\n" && text.charAt(j + 1) !== "\r"
+            j += escaped ? 2 : 1
+        }
+        if (j >= text.length || j >= cap || text.charAt(j) !== qclose)
+            return null
+        j = skipBlanks(text, j + 1, cap)
+        if (j < 0)
+            return null
+    }
+    if (j >= cap || text.charAt(j) !== ")")
+        return null
+    return { url: url, end: j + 1 }
+}
+
+// A [label] or collapsed [label][]; answers {label, end} or null. Inline text has no blank line.
+function readLabelRef(text, i) {
+    if (text.charAt(i) !== "[")
+        return null
+    var j = i + 1
+    while (j < text.length && j - i < LABEL_SCAN_LIMIT) {
+        var c = text.charAt(j)
+        if (c === "]")
+            break
+        if (c === "[")
+            return null
+        if (c === "\\") {
+            j += 2
+            continue
+        }
+        j++
+    }
+    if (j >= text.length || j - i >= LABEL_SCAN_LIMIT)
+        return null
+    return { label: text.slice(i + 1, j), end: j + 1 }
+}
+
+// Sample input: "  My\tLabel  " normalizes to "my label" for reference lookup; the case fold sends sharp s to "ss".
+function normalizeLabel(label) {
+    return String(label).replace(/[\t\n ]+/g, " ").replace(/^ | $/g, "").toLowerCase().replace(/\u00df/g, "ss")
+}
+
+// CommonMark's email address: its local part set and dot-separated host labels.
+var MAIL_ADDRESS = /^[a-zA-Z0-9.!#$%&'*+\/=?^_`{|}~-]+@[a-zA-Z0-9-]+(?:\.[a-zA-Z0-9-]+)*$/
+
+// A <scheme:...> or <mail> autolink at text[i] === "<"; answers {url, href, end} or null, href gaining mailto: for an address.
+function readAutolink(text, i) {
+    var j = i + 1
+    while (j < text.length && j - i < TARGET_SCAN_LIMIT && text.charAt(j) !== ">" && !Md.isSpace(text.charAt(j)))
+        j++
+    if (j >= text.length || j - i >= TARGET_SCAN_LIMIT || text.charAt(j) !== ">")
+        return null
+    var inner = text.slice(i + 1, j)
+    if (/^[a-zA-Z][a-zA-Z0-9+.-]{1,31}:[^<>]*$/.test(inner))
+        return { url: inner, href: inner, end: j + 1 }
+    if (MAIL_ADDRESS.test(inner))
+        return { url: inner, href: "mailto:" + inner, end: j + 1 }
+    return null
+}
+
+// Sample input: see https://a.example/x. here; answers {url, href, end} or null; trailing punctuation is stripped, www. gains http://.
+function readBarelink(text, i) {
+    var http = text.slice(i, i + HTTP_PREFIX_LENGTH) === "http://" || text.slice(i, i + HTTPS_PREFIX_LENGTH) === "https://"
+    if (!http) {
+        if (text.slice(i, i + WWW_PREFIX_LENGTH) !== "www.")
+            return null
+        var before = i > 0 ? text.charAt(i - 1) : " "
+        if (/[A-Za-z0-9_\/@]/.test(before))
+            return null
+    }
+    var j = i
+    while (j < text.length && !Md.isSpace(text.charAt(j)) && text.charAt(j) !== "<")
+        j++
+    var parens = 0
+    for (var at = i; at < j; at++)
+        parens += text.charAt(at) === "(" ? 1 : text.charAt(at) === ")" ? -1 : 0
+    while (j > i) {
+        var tail = text.charAt(j - 1)
+        if ("?!.,;:".indexOf(tail) < 0 && !(tail === ")" && parens < 0))
+            break
+        parens += tail === ")" ? 1 : 0
+        j--
+    }
+    var url = text.slice(i, j)
+    return url.length < MIN_BARELINK_LENGTH ? null : { url: url, href: http ? url : "http://" + url, end: j }
+}

package/ui/js/MdMath.js

@@ -0,0 +1,67 @@
+.pragma library
+
+// MdMath: where a display formula starts and ends in the block reader's lines, and which formulas a paragraph holds.
+.import "MdInline.js" as Md
+var INLINE_DELIMITER_LENGTH = 1
+var DISPLAY_DELIMITER_LENGTH = 2
+
+// Sample input: "$$x^2$$ tail" answers { source: "x^2", tail: " tail", to: i }; a lone "$$" opener reads on to its closer line.
+function displayAt(lines, i, text) {
+    var disp = /^ {0,3}\$\$(.*)$/.exec(text)
+    if (disp === null)
+        return null
+    var rest = disp[1]
+    var closeAt = rest.indexOf("$$")
+    var source = ""
+    var tail = ""
+    var to = i
+    if (closeAt >= 0) {
+        source = rest.slice(0, closeAt).trim()
+        tail = rest.slice(closeAt + DISPLAY_DELIMITER_LENGTH)
+    } else {
+        // The closer search stops at the paragraph's blank line, so no later opener scans these lines again.
+        var end = -1
+        for (var at = i + 1; end < 0 && at < lines.length && lines[at].trim().length > 0; at++) {
+            if (lines[at].indexOf("$$") >= 0)
+                end = at
+        }
+        if (end > i) {
+            var endAt = lines[end].indexOf("$$")
+            source = [rest].concat(lines.slice(i + 1, end), [lines[end].slice(0, endAt)]).join("\n").trim()
+            tail = lines[end].slice(endAt + DISPLAY_DELIMITER_LENGTH)
+            to = end
+        }
+    }
+    return source.length > 0 ? { source: source, tail: tail, to: to } : null
+}
+
+// Sample input: "a $$x$$ b" answers [{ text: "a " }, { math: "x" }, { text: " b" }]; text without a display pair answers null.
+function splitDisplay(text) {
+    if (text.indexOf("$$") < 0)
+        return null
+    var spans = Md.spanIntervals(text)
+    var pieces = []
+    var at = 0
+    for (var k = 0; k < spans.length; k += Md.INTERVAL_STRIDE) {
+        if (spans[k + 3] !== Md.MATH_SPAN || spans[k + 2] !== DISPLAY_DELIMITER_LENGTH)
+            continue
+        pieces.push({ text: text.slice(at, spans[k]) })
+        pieces.push({ math: text.slice(spans[k] + DISPLAY_DELIMITER_LENGTH, spans[k + 1] - DISPLAY_DELIMITER_LENGTH).trim() })
+        at = spans[k + 1]
+    }
+    pieces.push({ text: text.slice(at) })
+    return pieces.length > 1 ? pieces : null
+}
+
+// Sample input: "e $x^2$ and $y$" answers ["x^2", "y"]; display pairs and code spans hold none.
+function inlineSources(text) {
+    var out = []
+    if (text.indexOf("$") < 0)
+        return out
+    var spans = Md.spanIntervals(text)
+    for (var k = 0; k < spans.length; k += Md.INTERVAL_STRIDE) {
+        if (spans[k + 3] === Md.MATH_SPAN && spans[k + 2] === INLINE_DELIMITER_LENGTH)
+            out.push(text.slice(spans[k] + INLINE_DELIMITER_LENGTH, spans[k + 1] - INLINE_DELIMITER_LENGTH).trim())
+    }
+    return out
+}