More header refactors #7441

Merged

jessopb merged 4 commits from moreheader into master 2022-01-27 03:14:36 +01:00

Conversation 0 Commits 4 Files changed 17 +293 -278

4 commits

Author	SHA1	Message	Date
zeppi	90f0b66959	more header cherry-pick	2022-01-26 16:07:58 -05:00
Rafael	3dfa522fa9	Decrease --header-height by 20%	2022-01-26 15:36:18 -05:00
Rafael	9d8de101cf	Add Tooltips to header buttons and replace reach/ui	2022-01-26 15:36:07 -05:00
Rafael	a832fa17bd	Refactor notificationHeaderButton	2022-01-26 15:08:50 -05:00