2 Commits

Include renames

Author	SHA1	Message	Date
Adam Honse	7327644d26	Use TabLabel for all tab labels and adjust the TabLabel widget layout so that it aligns with the previous HTML label layout. Height is slightly increased for two-line labels.	2021-08-17 19:44:20 -05:00
Adam Honse	bbc16a9ae2	Rename DeviceTabHeader to TabLabel, so we can use it for all tabs rather than just device tabs	2021-08-17 19:13:28 -05:00