@@ -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