Skip to content
GitLab
Explore
Sign in
Register
simantics
platform
Issues
#291
Workbench search (Ctrl+k) and resource search (Ctrl+Shift+R) have become case sensitive
See
#21 (closed)