https://bugs.documentfoundation.org/show_bug.cgi?id=167084
--- Comment #2 from Eyal Rozenberg <[email protected]> --- I would say this is one possible solution to the "problem" of having few vertical tabs. Another solution is flexible-height tab headers, like we had for horizontal tabs. I'm fine with this personally, but I wonder if we should really have just-this-and-only-this universally, everywhere. -- You are receiving this mail because: You are on the CC list for the bug.
