Community
Participate
Working Groups
In bug 320584, we tried to increase the font size for tabs without specifying a face. On Win7, we got random fonts rather than getting the platform default (Segoe UI). To work around this, we specified the face, but this should not be required. See bug 314157 comment 9 and below for further discussion. See also bug 298081.
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet. If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant. -- The automated Eclipse Genie.
This is a mass change to close all e4 bugs marked with "stalebug" whiteboard. If this bug is still valid, please reopen and remove the "stalebug" keyword.