Closed keighrim closed 11 months ago
When using the full at_type as the label for the document tab, you often get awkward stacking like this:
From a UI perspective, I think it might be better to have the short names as the tab labels, then maybe the full at_type printed next to the document location. @keighrim would it be alright if I made that change?
It was totally my oversight, and just fixed it. Feel free to add further commits or merge.
fixes #26 .