Make the Debugger's preferences more user friendly.
A design proposal from a meeting with Patrick Rodler:
When this merge request is accepted, this issue will be closed automatically.
Added Documentation Feature request labels
51-redesign-preferences-page
Started branch 51-redesign-preferences-page
Mentioned in commit f51e4d25
Mentioned in merge request !11 (merged)
Status changed to closed by commit 5bc2f053
Status changed to closed by merge request !11 (merged)
Mentioned in issue #55 (closed)
mentioned in issue #64 (closed)
