diff --git a/webui/src/components/ToolList.jsx b/webui/src/components/ToolList.jsx index 86a67aa2c..e3dfdf968 100644 --- a/webui/src/components/ToolList.jsx +++ b/webui/src/components/ToolList.jsx @@ -87,12 +87,18 @@ export class ToolListWithControls extends React.Component { highlighter={makeHighlighter(this.state.searchTerms)} selectResourceMatch={this.props.selectResourceMatch}/> -
There are {hiddenTools.length} tools not matching the search term.
++ There are {hiddenTools.length} tools not matching the search term. +
: false } - { tools.length == 0 && hiddenTools.length == 0 && -There are no tools perfectly matching the resource(s).
+ { tools.length == 0 && hiddenTools.length == 0 ? ++ There are no tools perfectly matching the resource(s). +
: false }There are {hiddenPartial.length} tools not matching the search term.
- : false - } ++ There are {hiddenPartial.length} tools not matching the search term. +
: false + } +