Linux GUI Issues

Toolbar button graphics clipped

On Ubuntu, some toolbar button graphics are clipped. This can be improved by choosing a different Desktop theme.

Hover popups

On Ubuntu, in the default Desktop theme (Ambiance) the text in some Hover popups may not be visible by default (ie font color = background color). This can be solved as follows:

• Go to the menu Window -> Preferences -> C/C++ -> Editor

• In the Appearance color options:, select Source hover background.

• Now untick System Default and select a suitable new background colour.