Skip to content

Misc gui fixes

Schuhbaeck, Stefan requested 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