show sketchbook commands on hover

Author: fstasi

Diff for: arduino-ide-extension/src/browser/style/sketchbook.css

@@ -36,3 +36,12 @@
 #arduino-sketchbook-tree-widget .theia-TreeNodeSegmentGrow {
   flex: 1;
 }
+
+.theia-TreeNode .sketchbook-commands-icons {
+  display: none;
+}
+
+.theia-TreeNode:hover .sketchbook-commands-icons,
+.theia-TreeNode.theia-mod-selected .sketchbook-commands-icons {
+  display: block;
+}

Diff for: arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-tree-widget.tsx

@@ -87,12 +87,7 @@ export class CloudSketchbookTreeWidget extends SketchbookTreeWidget {
   }
 
   protected renderInlineCommands(node: any, props: NodeProps): React.ReactNode {
-    if (
-      CloudSketchbookTree.CloudSketchDirNode.is(node) &&
-      node.commands &&
-      (node.id === this.hoveredNodeId ||
-        this.currentSketchUri === node.uri.toString())
-    ) {
+    if (CloudSketchbookTree.CloudSketchDirNode.is(node) && node.commands) {
       return Array.from(new Set(node.commands)).map((command) =>
         this.renderInlineCommand(command.id, node, {
           username: this.authenticationService.session?.account?.label,

Diff for: arduino-ide-extension/src/browser/widgets/sketchbook/sketchbook-tree-widget.tsx

@@ -142,6 +142,7 @@ export class SketchbookTreeWidget extends FileTreeWidget {
         TREE_NODE_TAIL_CLASS,
         icon,
         'theia-tree-view-inline-action',
+        'sketchbook-commands-icons',
       ].join(' ');
       return (
         <div