mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-20 07:28:08 +03:00
205 lines
10 KiB
CoffeeScript
205 lines
10 KiB
CoffeeScript
LinesYardstick = require '../src/lines-yardstick'
|
|
LineTopIndex = require 'line-top-index'
|
|
{Point} = require 'text-buffer'
|
|
|
|
describe "LinesYardstick", ->
|
|
[editor, mockLineNodesProvider, createdLineNodes, linesYardstick, buildLineNode] = []
|
|
|
|
beforeEach ->
|
|
waitsForPromise ->
|
|
atom.packages.activatePackage('language-javascript')
|
|
|
|
waitsForPromise ->
|
|
atom.workspace.open('sample.js').then (o) -> editor = o
|
|
|
|
runs ->
|
|
createdLineNodes = []
|
|
|
|
buildLineNode = (screenRow) ->
|
|
startIndex = 0
|
|
scopes = []
|
|
screenLine = editor.screenLineForScreenRow(screenRow)
|
|
lineNode = document.createElement("div")
|
|
lineNode.style.whiteSpace = "pre"
|
|
for tagCode in screenLine.tagCodes when tagCode isnt 0
|
|
if editor.displayLayer.isCloseTagCode(tagCode)
|
|
scopes.pop()
|
|
else if editor.displayLayer.isOpenTagCode(tagCode)
|
|
scopes.push(editor.displayLayer.tagForCode(tagCode))
|
|
else
|
|
text = screenLine.lineText.substr(startIndex, tagCode)
|
|
startIndex += tagCode
|
|
|
|
span = document.createElement("span")
|
|
span.className = scopes.join(' ').replace(/\.+/g, ' ')
|
|
span.textContent = text
|
|
lineNode.appendChild(span)
|
|
jasmine.attachToDOM(lineNode)
|
|
createdLineNodes.push(lineNode)
|
|
lineNode
|
|
|
|
mockLineNodesProvider =
|
|
lineNodesById: {}
|
|
|
|
lineIdForScreenRow: (screenRow) ->
|
|
editor.screenLineForScreenRow(screenRow)?.id
|
|
|
|
lineNodeForScreenRow: (screenRow) ->
|
|
if id = @lineIdForScreenRow(screenRow)
|
|
@lineNodesById[id] ?= buildLineNode(screenRow)
|
|
|
|
textNodesForScreenRow: (screenRow) ->
|
|
lineNode = @lineNodeForScreenRow(screenRow)
|
|
iterator = document.createNodeIterator(lineNode, NodeFilter.SHOW_TEXT)
|
|
textNodes = []
|
|
textNodes.push(textNode) while textNode = iterator.nextNode()
|
|
textNodes
|
|
|
|
editor.setLineHeightInPixels(14)
|
|
lineTopIndex = new LineTopIndex({defaultLineHeight: editor.getLineHeightInPixels()})
|
|
linesYardstick = new LinesYardstick(editor, mockLineNodesProvider, lineTopIndex, atom.grammars)
|
|
|
|
afterEach ->
|
|
lineNode.remove() for lineNode in createdLineNodes
|
|
atom.themes.removeStylesheet('test')
|
|
|
|
describe "::pixelPositionForScreenPosition(screenPosition)", ->
|
|
it "converts screen positions to pixel positions", ->
|
|
atom.styles.addStyleSheet """
|
|
* {
|
|
font-size: 12px;
|
|
font-family: monospace;
|
|
}
|
|
.syntax--function {
|
|
font-size: 16px
|
|
}
|
|
"""
|
|
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(0, 0))).toEqual({left: 0, top: 0})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(0, 1))).toEqual({left: 7, top: 0})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(0, 5))).toEqual({left: 38, top: 0})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(1, 6))).toEqual({left: 43, top: 14})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(1, 9))).toEqual({left: 72, top: 14})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(2, Infinity))).toEqual({left: 287.859375, top: 28})
|
|
|
|
it "reuses already computed pixel positions unless it is invalidated", ->
|
|
atom.styles.addStyleSheet """
|
|
* {
|
|
font-size: 16px;
|
|
font-family: monospace;
|
|
}
|
|
"""
|
|
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(1, 2))).toEqual({left: 19, top: 14})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(2, 6))).toEqual({left: 57.609375, top: 28})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(5, 10))).toEqual({left: 96, top: 70})
|
|
|
|
atom.styles.addStyleSheet """
|
|
* {
|
|
font-size: 20px;
|
|
}
|
|
"""
|
|
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(1, 2))).toEqual({left: 19, top: 14})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(2, 6))).toEqual({left: 57.609375, top: 28})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(5, 10))).toEqual({left: 96, top: 70})
|
|
|
|
linesYardstick.invalidateCache()
|
|
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(1, 2))).toEqual({left: 24, top: 14})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(2, 6))).toEqual({left: 72, top: 28})
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(5, 10))).toEqual({left: 120, top: 70})
|
|
|
|
it "doesn't report a width greater than 0 when the character to measure is at the beginning of a text node", ->
|
|
# This spec documents what seems to be a bug in Chromium, because we'd
|
|
# expect that Range(0, 0).getBoundingClientRect().width to always be zero.
|
|
atom.styles.addStyleSheet """
|
|
* {
|
|
font-size: 11px;
|
|
font-family: monospace;
|
|
}
|
|
"""
|
|
|
|
text = " \\vec{w}_j^r(\\text{new}) &= \\vec{w}_j^r(\\text{old}) + \\Delta\\vec{w}_j^r, \\\\"
|
|
buildLineNode = (screenRow) ->
|
|
lineNode = document.createElement("div")
|
|
lineNode.style.whiteSpace = "pre"
|
|
# We couldn't reproduce the problem with a simple string, so we're
|
|
# attaching the full one that comes from a bug report.
|
|
lineNode.innerHTML = '<span><span> </span><span> </span><span><span>\\</span>vec</span><span><span>{</span>w<span>}</span></span>_j^r(<span><span>\\</span>text</span><span><span>{</span>new<span>}</span></span>) &= <span><span>\\</span>vec</span><span><span>{</span>w<span>}</span></span>_j^r(<span><span>\\</span>text</span><span><span>{</span>old<span>}</span></span>) + <span><span>\\</span>Delta</span><span><span>\\</span>vec</span><span><span>{</span>w<span>}</span></span>_j^r, <span>\\\\</span></span>'
|
|
jasmine.attachToDOM(lineNode)
|
|
createdLineNodes.push(lineNode)
|
|
lineNode
|
|
|
|
editor.setText(text)
|
|
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(0, 35)).left).toBe 230.90625
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(0, 36)).left).toBe 237.5
|
|
expect(linesYardstick.pixelPositionForScreenPosition(Point(0, 37)).left).toBe 244.09375
|
|
|
|
describe "::screenPositionForPixelPosition(pixelPosition)", ->
|
|
it "converts pixel positions to screen positions", ->
|
|
atom.styles.addStyleSheet """
|
|
* {
|
|
font-size: 12px;
|
|
font-family: monospace;
|
|
}
|
|
.syntax--function {
|
|
font-size: 16px
|
|
}
|
|
"""
|
|
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 12.5})).toEqual([0, 2])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 14, left: 18.8})).toEqual([1, 3])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 28, left: 100})).toEqual([2, 14])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 32, left: 24.3})).toEqual([2, 3])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 46, left: 66.5})).toEqual([3, 9])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 70, left: 99.9})).toEqual([5, 14])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 70, left: 224.2365234375})).toEqual([5, 29])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 70, left: 225})).toEqual([5, 30])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 84, left: 247.1})).toEqual([6, 33])
|
|
|
|
it "overshoots to the nearest character when text nodes are not spatially contiguous", ->
|
|
atom.styles.addStyleSheet """
|
|
* {
|
|
font-size: 12px;
|
|
font-family: monospace;
|
|
}
|
|
"""
|
|
|
|
buildLineNode = (screenRow) ->
|
|
lineNode = document.createElement("div")
|
|
lineNode.style.whiteSpace = "pre"
|
|
lineNode.innerHTML = '<span>foo</span><span style="margin-left: 40px">bar</span>'
|
|
jasmine.attachToDOM(lineNode)
|
|
createdLineNodes.push(lineNode)
|
|
lineNode
|
|
editor.setText("foobar")
|
|
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 7})).toEqual([0, 1])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 14})).toEqual([0, 2])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 21})).toEqual([0, 3])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 30})).toEqual([0, 3])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 50})).toEqual([0, 3])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 62})).toEqual([0, 3])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 69})).toEqual([0, 4])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 76})).toEqual([0, 5])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 100})).toEqual([0, 6])
|
|
expect(linesYardstick.screenPositionForPixelPosition({top: 0, left: 200})).toEqual([0, 6])
|
|
|
|
it "clips pixel positions above buffer start", ->
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: -Infinity, left: -Infinity)).toEqual [0, 0]
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: -Infinity, left: Infinity)).toEqual [0, 0]
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: -1, left: Infinity)).toEqual [0, 0]
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: 0, left: Infinity)).toEqual [0, 29]
|
|
|
|
it "clips pixel positions below buffer end", ->
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: Infinity, left: -Infinity)).toEqual [12, 2]
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: Infinity, left: Infinity)).toEqual [12, 2]
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: (editor.getLastScreenRow() + 1) * 14, left: 0)).toEqual [12, 2]
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: editor.getLastScreenRow() * 14, left: 0)).toEqual [12, 0]
|
|
|
|
it "clips negative horizontal pixel positions", ->
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: 0, left: -10)).toEqual [0, 0]
|
|
expect(linesYardstick.screenPositionForPixelPosition(top: 1 * 14, left: -10)).toEqual [1, 0]
|