Include tasklet contents in graph search

src/renderer/renderer_elements.ts

@@ -213,6 +213,11 @@ export class SDFGElement {
         return this.data.label;
     }
 
+    // Text used for matching the element during a search
+    public text_for_find(): string {
+        return this.label();
+    }
+
     // Produces HTML for a hover-tooltip
     public tooltip(container: HTMLElement): void {
         container.className = 'sdfvtooltip';
@@ -2182,6 +2187,12 @@ export class Tasklet extends SDFGNode {
         this.highlightCode();
     }
 
+    public text_for_find(): string {
+        // Include code when searching
+        const code = this.attributes().code.string_data;        
+        return this.label() + " " + code;
+    }
+
     private highlightedCode: TaskletCodeToken[][] = [];
     public readonly inputTokens: Set<TaskletCodeToken> = new Set();
     public readonly outputTokens: Set<TaskletCodeToken> = new Set();