Small Repository UI Improvements
This MR includes some improvements for repository UI. See individual commits for details.
Fixes #2699 (closed), #2701 (closed)
Edited by Torsten Grote
This MR includes some improvements for repository UI. See individual commits for details.
Fixes #2699 (closed), #2701 (closed)