https://bugs.documentfoundation.org/show_bug.cgi?id=165474
--- Comment #30 from Heiko Tietze <[email protected]> --- Looked into a potential solution with set_margin but no success. Gtk developer replied on IRC: "Calling gtk_widget_set_margin_top on the tab's widget will not work because the default spacing is usually handled by the GTK theme and applied to the notebook's internal components, not the tab label itself". So it's clearly NOB - or we have to reduce the number of tabs. -- You are receiving this mail because: You are the assignee for the bug.
