Jonas Jenwald f3b03e5c4b
Merge pull request #17917 from Snuffleupagus/showAll-rtl
Fix the RTL-rule for the `editorHighlightShowAll` button, such that it works outside of the Firefox PDF Viewer
2024-04-10 12:55:30 +02:00
..