Closed mgronover closed 1 month ago
This PR addresses issue #2406
Thanks for the fix, @alexanderpann.
The visibility of the documentation tool at the bottom of the screen occurs sometimes, but is another point which could be handled in another ticket if really required.
This PR addresses issue #2406