1
0
mirror of synced 2024-11-17 03:27:13 +01:00

Don't highlight if the input and output tab numbers are different

This commit is contained in:
j433866 2019-05-07 14:33:38 +01:00
parent 35d6c7d79e
commit cbfde7ddb1

View File

@ -378,6 +378,8 @@ class HighlighterWaiter {
displayHighlights(pos, direction) { displayHighlights(pos, direction) {
if (!pos) return; if (!pos) return;
if (this.manager.input.getActiveTab() !== this.manager.output.getActiveTab()) return;
const io = direction === "forward" ? "output" : "input"; const io = direction === "forward" ? "output" : "input";
document.getElementById(io + "-selection-info").innerHTML = this.selectionInfo(pos[0].start, pos[0].end); document.getElementById(io + "-selection-info").innerHTML = this.selectionInfo(pos[0].start, pos[0].end);