Merge branch 'updev' into upmain

nix
James Bradbury 4 years ago
commit 229b46b11d

@ -190,11 +190,11 @@ FluidPlotter : FluidViewer {
}
highlight_ {
arg arr;
arg identifier;
if(arr.isKindOf(String).or(arr.isKindOf(Symbol)),{arr = [arr]});
if(identifier.isKindOf(String).or(identifier.isKindOf(Symbol)),{identifier = [identifier]});
highlightIdentifiersArray = arr.collect({arg item; item.asSymbol});
highlightIdentifiersArray = identifier.collect({arg item; item.asSymbol});
this.refresh;
}

Loading…
Cancel
Save