Hi @m8nix. Thanks for your report. The Arduino IDE developers are tracking this bug here:
If you have a GitHub account, you can subscribe to that issue to get notifications of any new developments related to this subject: