From 252495fc3fb4d9b0c1455a505a25b7f841267172 Mon Sep 17 00:00:00 2001 From: Dung Truong Date: Tue, 30 May 2023 10:53:41 -0700 Subject: [PATCH] Merge develop (#46) * search for word containing key * preserve schema name during prerelease switching (#43) * move btn position * Kay's suggestions --- schema_browser/schema-browser.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/schema_browser/schema-browser.js b/schema_browser/schema-browser.js index 53ed964..1d0c856 100644 --- a/schema_browser/schema-browser.js +++ b/schema_browser/schema-browser.js @@ -415,7 +415,7 @@ function infoBoardMouseoverEvent(event) { var disp_div = ["schemaNode", "unitClassDef", "unitModifierDef", "valueClassDef", "attributeDef", "propertyDef"]; if (disp_div.includes(selected.attr('name'))) { $("h4#title").text(nodeName); - $("p#tag").text("Full path: " + path); + $("h4#tag").text("Full path: " + path); $("p#description").text(selected.attr("description")); $("div#attribute_info").html(finalText); }