Misc gui fixes

Schuhbaeck, Stefanrequested to merge
misc-guiFixes into master
  • make SplitPane's resizable (close #24 (closed))
  • introduce line numbers to json text views
  • introduce code folding to json text views

Merge request reports

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum