125 lines
4.0 KiB
JavaScript
Executable File
125 lines
4.0 KiB
JavaScript
Executable File
"use strict";
|
|
|
|
var dom = require("ace/lib/dom");
|
|
var oop = require("ace/lib/oop");
|
|
var event = require("ace/lib/event");
|
|
var Range = require("ace/range").Range;
|
|
var Tooltip = require("ace/tooltip").Tooltip;
|
|
|
|
class TokenTooltip extends Tooltip {
|
|
constructor(editor) {
|
|
if (editor.tokenTooltip)
|
|
return;
|
|
super(editor.container);
|
|
editor.tokenTooltip = this;
|
|
this.editor = editor;
|
|
|
|
this.update = this.update.bind(this);
|
|
this.onMouseMove = this.onMouseMove.bind(this);
|
|
this.onMouseOut = this.onMouseOut.bind(this);
|
|
event.addListener(editor.renderer.scroller, "mousemove", this.onMouseMove);
|
|
event.addListener(editor.renderer.content, "mouseout", this.onMouseOut);
|
|
}
|
|
token = {};
|
|
|
|
range = new Range();
|
|
|
|
update() {
|
|
this.$timer = null;
|
|
|
|
var r = this.editor.renderer;
|
|
if (this.lastT - (r.timeStamp || 0) > 1000) {
|
|
r.rect = null;
|
|
r.timeStamp = this.lastT;
|
|
this.maxHeight = window.innerHeight;
|
|
this.maxWidth = window.innerWidth;
|
|
}
|
|
|
|
var canvasPos = r.rect || (r.rect = r.scroller.getBoundingClientRect());
|
|
var offset = (this.x + r.scrollLeft - canvasPos.left - r.$padding) / r.characterWidth;
|
|
var row = Math.floor((this.y + r.scrollTop - canvasPos.top) / r.lineHeight);
|
|
var col = Math.round(offset);
|
|
|
|
var screenPos = {row: row, column: col, side: offset - col > 0 ? 1 : -1};
|
|
var session = this.editor.session;
|
|
var docPos = session.screenToDocumentPosition(screenPos.row, screenPos.column);
|
|
var token = session.getTokenAt(docPos.row, docPos.column);
|
|
|
|
if (!token && !session.getLine(docPos.row)) {
|
|
token = {
|
|
type: "",
|
|
value: "",
|
|
state: session.bgTokenizer.getState(0)
|
|
};
|
|
}
|
|
if (!token) {
|
|
session.removeMarker(this.marker);
|
|
this.hide();
|
|
return;
|
|
}
|
|
|
|
var tokenText = token.type;
|
|
if (token.state)
|
|
tokenText += "|" + token.state;
|
|
if (token.merge)
|
|
tokenText += "\n merge";
|
|
if (token.stateTransitions)
|
|
tokenText += "\n " + token.stateTransitions.join("\n ");
|
|
|
|
if (this.tokenText != tokenText) {
|
|
this.setText(tokenText);
|
|
this.width = this.getWidth();
|
|
this.height = this.getHeight();
|
|
this.tokenText = tokenText;
|
|
}
|
|
if (!this.isOpen) {
|
|
this.setTheme(r.theme);
|
|
}
|
|
|
|
this.show(null, this.x, this.y);
|
|
|
|
this.token = token;
|
|
session.removeMarker(this.marker);
|
|
this.range = new Range(docPos.row, token.start, docPos.row, token.start + token.value.length);
|
|
this.marker = session.addMarker(this.range, "ace_bracket", "text");
|
|
};
|
|
|
|
onMouseMove(e) {
|
|
this.x = e.clientX;
|
|
this.y = e.clientY;
|
|
if (this.isOpen) {
|
|
this.lastT = e.timeStamp;
|
|
this.setPosition(this.x, this.y);
|
|
}
|
|
if (!this.$timer)
|
|
this.$timer = setTimeout(this.update, 100);
|
|
};
|
|
|
|
onMouseOut(e) {
|
|
if (e && e.currentTarget.contains(e.relatedTarget))
|
|
return;
|
|
this.hide();
|
|
this.editor.session.removeMarker(this.marker);
|
|
this.$timer = clearTimeout(this.$timer);
|
|
};
|
|
|
|
setPosition(x, y) {
|
|
if (x + 10 + this.width > this.maxWidth)
|
|
x = window.innerWidth - this.width - 10;
|
|
if (y > window.innerHeight * 0.75 || y + 20 + this.height > this.maxHeight)
|
|
y = y - this.height - 30;
|
|
|
|
Tooltip.prototype.setPosition.call(this, x + 10, y + 20);
|
|
};
|
|
|
|
destroy() {
|
|
this.onMouseOut();
|
|
event.removeListener(this.editor.renderer.scroller, "mousemove", this.onMouseMove);
|
|
event.removeListener(this.editor.renderer.content, "mouseout", this.onMouseOut);
|
|
delete this.editor.tokenTooltip;
|
|
};
|
|
|
|
}
|
|
|
|
exports.TokenTooltip = TokenTooltip;
|