Skip to content

UI: Miscellaneous tweaks

Douwe Maan requested to merge ui/misc into master

Depends on !1953 (merged)

See the commits for more details, the messages mostly speak for themselves.

Highlights

Profile tabs

Before:

profile_before

After:

profile_after

Tree header

Before:

tree_before

After:

tree_after

Merge request reports