fix error

This commit is contained in:
meganrogge 2023-07-27 10:56:06 -07:00
parent 323832d0c0
commit 75c890512c
No known key found for this signature in database
GPG key ID: AA74638D4878183D

View file

@ -749,6 +749,7 @@ class TestHoverService implements IHoverService {
};
return this.currentHover;
}
showAndFocusLastHover(): void { }
hideHover(): void {
this.currentHover?.dispose();
}