Skip to content

Misc gui fixes

  • make SplitPane's resizable (close #24 (closed))
  • introduce line numbers to json text views
  • introduce code folding to json text views

Merge request reports

Loading