https://bugs.documentfoundation.org/show_bug.cgi?id=166498
--- Comment #2 from Heiko Tietze <[email protected]> --- Both font size and margin should follow system settings. If your desktop environment is gtk3, the spacing is usually much larger compared to Qt or Windows. Besides, reducing the font size has not much benefit for the total tab size. The actual use case might be to find a certain sheet. We have a context menu for this purpose that pops-up on right click at the + sign (an alternative UI is being discussed in bug 171207). You can also use the Sheet > Navigate > Go To Sheet... dialog or just type the sheet name in the "Name Box" at the toolbar. My take: WF. -- You are receiving this mail because: You are the assignee for the bug.
