Skip to content

Commit

Permalink
Merge develop (#46)
Browse files Browse the repository at this point in the history
* search for word containing key

* preserve schema name during prerelease switching (#43)

* move btn position

* Kay's suggestions
  • Loading branch information
dungscout96 committed Aug 14, 2023
1 parent 7043385 commit 252495f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion schema_browser/schema-browser.js
Original file line number Diff line number Diff line change
Expand Up @@ -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);
}
Expand Down

0 comments on commit 252495f

Please sign in to comment.