mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-09 10:28:32 +00:00
fix: no unnecessary tree update on mouse over/out
Closes #1766 Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
This commit is contained in:
@@ -116,7 +116,6 @@ export class SketchbookTreeWidget extends FileTreeWidget {
|
|||||||
protected hoveredNodeId: string | undefined;
|
protected hoveredNodeId: string | undefined;
|
||||||
protected setHoverNodeId(id: string | undefined): void {
|
protected setHoverNodeId(id: string | undefined): void {
|
||||||
this.hoveredNodeId = id;
|
this.hoveredNodeId = id;
|
||||||
this.update();
|
|
||||||
}
|
}
|
||||||
|
|
||||||
protected override createNodeAttributes(
|
protected override createNodeAttributes(
|
||||||
|
|||||||
Reference in New Issue
Block a user