Misc gui fixes
- make SplitPane's resizable (close #24 (closed))
- introduce line numbers to json text views
- introduce code folding to json text views
The container registry garbage collection is completed and you can write to the registry again. If you notice any containers missing which you still need and cannot restore yourself, please contact the LRZ Servicedesk (we have a backup).
2024-04-04: Due to updates GitLab will be unavailable for some minutes between 9:00 and 11:00.