On some window managers, the splitter can be dragged far to the right (forcing the right tabset to be compressed). Others, the right-side tabset seems to have a fixed min width. Investigate which systems do what, and figure out (setSizePolicy? setMinWidth?) what to do to make sure it works.
On some window managers, the splitter can be dragged far to the right (forcing the right tabset to be compressed). Others, the right-side tabset seems to have a fixed min width. Investigate which systems do what, and figure out (setSizePolicy? setMinWidth?) what to do to make sure it works.