Closed skalarproduktraum closed 2 months ago
This PR fixes an issue where there was a nested call to invoke UI operations on the EDT, leading to issues on macOS and Linux.
This PR fixes an issue where there was a nested call to invoke UI operations on the EDT, leading to issues on macOS and Linux.