show device id in tooltip of unknown devices

pelikhan · pelikhan · commit baf28e00e7bd · 2023-07-21T12:07:26.000+02:00
diff --git a/jacdac-ts b/jacdac-ts
@@ -1 +1 @@
-Subproject commit f75fe5313eacefefe1cf4b2d91fad6df2d9dc0b6
+Subproject commit 002f8b931ac9b7cd3facc3b382c3c5c1a140dca6
diff --git a/vscode/src/JDomTreeDataProvider.ts b/vscode/src/JDomTreeDataProvider.ts
@@ -381,7 +381,14 @@ ${spec.description}`,
                     const description = control?.register(
                         ControlReg.DeviceDescription
                     )
-                    this.tooltip = description?.stringValue
+                    this.tooltip = toMarkdownString(
+                        `#### ${description?.stringValue || "no description"}
+
+- device id: ${deviceId}
+
+`,
+                        "devicescript:devices"
+                    )
                 }
             }
         }

Original file line number	Diff line number	Diff line change
@@ -381,7 +381,14 @@ ${spec.description}`,
`381`	`381`	`const description = control?.register(`
`382`	`382`	`ControlReg.DeviceDescription`
`383`	`383`	`)`
`384`		`- this.tooltip = description?.stringValue`
	`384`	`+ this.tooltip = toMarkdownString(`
	`385`	+ `#### ${description?.stringValue \|\| "no description"}
	`386`	`+`
	`387`	`+- device id: ${deviceId}`
	`388`	`+`
	`389`	+`,
	`390`	`+ "devicescript:devices"`
	`391`	`+ )`
`385`	`392`	`}`
`386`	`393`	`}`
`387`	`394`	`}`