diff --git a/ivette/src/renderer/Globals.tsx b/ivette/src/renderer/Globals.tsx index ffd3959366776d3a1c9ed4ff9fba1a4932985645..27d21bc47181ee8f530e98abf2c209324240992b 100644 --- a/ivette/src/renderer/Globals.tsx +++ b/ivette/src/renderer/Globals.tsx @@ -105,6 +105,9 @@ export default () => { ); } + // Currently selected function. + const current: undefined | string = selection?.current?.function; + function showFunction(fct: functionsData) { const visible = (stdlib || !fct.stdlib) @@ -112,7 +115,7 @@ export default () => { && (undef || fct.defined) && (!evaOnly || !evaComputed || (fct.eva_analyzed === true)) && (!selected || !multipleSelectionActive || isSelected(fct)); - return visible; + return visible || (current && fct.name === current); } function onSelection(name: string) { @@ -153,9 +156,6 @@ export default () => { Dome.popupMenu(items); } - // Items - const current: undefined | string = selection?.current?.function; - // Filtered const filtered = fcts.filter(showFunction);