Misc gui fixes
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
Misc gui fixes
Schuhbaeck, Stefan
requested to merge
misc-guiFixes
into
master
Jul 31, 2019
Overview
0
Commits
2
Pipelines
1
Changes
4
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