Skip to content

Commit df88581

Browse files
Refactor
1 parent e7180a9 commit df88581

File tree

1 file changed

+10
-7
lines changed

1 file changed

+10
-7
lines changed

Public/js/views/debugger_highlighter.js

Lines changed: 10 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,8 @@ export default class DebuggerHighlighter {
1717
const doc = editor.getDoc();
1818
const marks = this.activeMarks;
1919

20+
const defaultTextHeight = editor.defaultTextHeight();
21+
2022
for (const trace of traces) {
2123
const className = "debuggermatch";
2224
const location = Editor.calcRangePos(
@@ -38,12 +40,13 @@ export default class DebuggerHighlighter {
3840

3941
widget.style.position = "absolute";
4042
widget.style.zIndex = "10";
41-
widget.style.height = editor.defaultTextHeight() * 1.5 + "px";
43+
44+
widget.style.height = `${defaultTextHeight * 1.5}px`;
4245
widget.style.width = "1px";
4346

4447
const coords = editor.charCoords(pos, "local");
45-
widget.style.left = coords.left + "px";
46-
widget.style.top = coords.top + 2 + "px";
48+
widget.style.left = `${coords.left}px`;
49+
widget.style.top = `${coords.top + 2}px`;
4750

4851
editor.getWrapperElement().appendChild(widget);
4952

@@ -59,12 +62,12 @@ export default class DebuggerHighlighter {
5962

6063
widget.style.position = "absolute";
6164
widget.style.zIndex = "10";
62-
widget.style.height = editor.defaultTextHeight() * 1.5 + "px";
63-
widget.style.width = editor.defaultCharWidth() + "px";
65+
widget.style.height = `${defaultTextHeight * 1.5}px`;
66+
widget.style.width = `${editor.defaultCharWidth()}px`;
6467

6568
const coords = editor.charCoords(pos, "local");
66-
widget.style.left = coords.left + "px";
67-
widget.style.top = coords.top + 2 + "px";
69+
widget.style.left = `${coords.left}px`;
70+
widget.style.top = `${coords.top + 2}px`;
6871

6972
editor.getWrapperElement().appendChild(widget);
7073

0 commit comments

Comments
 (0)