Skip to content

Commit c410851

Browse files
committed
fix: use DisplayMarker instead of Marker
1 parent 720f185 commit c410851

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src-commons-ui/float-pane/FloatPane.tsx

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
import { Marker, Decoration, TextEditor, Disposable, DisposableLike, CompositeDisposable } from "atom"
1+
import { DisplayMarker, Decoration, TextEditor, Disposable, DisposableLike, CompositeDisposable } from "atom"
22
import { Observable, fromEvent } from "rxjs"
33
import type {Subscription} from "rxjs"
44
import { disposableFromSubscription } from "../../src-commons-atom/disposable"
@@ -49,7 +49,7 @@ export class PinnedDatatip {
4949
_boundHandleCapturedClick: Function
5050
_mouseUpTimeout: ?NodeJS.Timeout
5151
_hostElement: HTMLElement
52-
_marker: ?Marker
52+
_marker: ?DisplayMarker
5353
_rangeDecoration: ?Decoration
5454
_mouseSubscription: ?Subscription
5555
_subscriptions: CompositeDisposable
@@ -216,7 +216,7 @@ export class PinnedDatatip {
216216
}
217217

218218
if (this._marker == null) {
219-
const marker: Marker = _editor.markBufferRange(_datatip.range, {
219+
const marker: DisplayMarker = _editor.markBufferRange(_datatip.range, {
220220
invalidate: "never",
221221
})
222222
this._marker = marker

0 commit comments

Comments
 (0)