block search addon -- allow searching custom reporters

SharkPool-SP · web-flow · commit 74d44eec628e · 2025-08-10T11:32:01.000-07:00
diff --git a/src/addons/addons/find-bar/userscript.js b/src/addons/addons/find-bar/userscript.js
@@ -254,7 +254,7 @@ export default async function ({ addon, msg, console }) {
       }
 
       for (const root of topBlocks) {
-        if (root.type === "procedures_definition") {
+        if (root.type === "procedures_definition" || root.type === "procedures_definition_return") {
           const label = root.getChildren()[0];
           const procCode = label.getProcCode();
           if (!procCode) {

Original file line number	Diff line number	Diff line change
`@@ -254,7 +254,7 @@ export default async function ({ addon, msg, console }) {`
`254`	`254`	`}`
`255`	`255`
`256`	`256`	`for (const root of topBlocks) {`
`257`		`- if (root.type === "procedures_definition") {`
	`257`	`+ if (root.type === "procedures_definition" \|\| root.type === "procedures_definition_return") {`
`258`	`258`	`const label = root.getChildren()[0];`
`259`	`259`	`const procCode = label.getProcCode();`
`260`	`260`	`if (!procCode) {`