Misc gui fixes
- make SplitPane's resizable (close #24 (closed))
- introduce line numbers to json text views
- introduce code folding to json text views
In May we will update GitLab to the next major version 18.0. Deprecations will mainly affect the Api, CI/CD job tokens and GitLab Runners. Please check if your project(s) may be affected, and take the appropriate measures. Find detailed information on this here: https://docs.gitlab.com/update/deprecations/?removal_milestone=18.0
2025-05-20: Due to a security-patch and a PostgreSQL-Update (version 16.8) GitLab may be unavailable for approx. 30 minutes between 11:30 and 13:30.