A new bug-fix update for PhpStorm 2023.1 is now available.
You can update to it using the Toolbox App or right from inside the IDE. You can also download PhpStorm 2023.1.2 from the website.
Notable changes in this update:
Fix: Editor tabs scroll very slowly
Fix: Project on an NFS mounted drive…
