We’ve just discovered that the Flash Operator Panel does not display extension names correctly at high resolutions. Sometimes the names are cut off, and sometimes they do not display at all. However, some names still display perfectly.
At 1024x768 resolution though, everything displays correctly. This happens with the default panel layout, and with the layout we adjusted for more extensions.
Does anybody know what might be happening here? Any fixes?