HUD 图标有别名吗？

Question

我目前在 Ubuntu 12.04 上使用 Unity 3d，今天我注意到 HUD 旁边的图标略有伪影和锯齿，与仪表板中的其他图标不同。

我想知道我是否是唯一受此影响的人，如果不是，这是一个已知的错误还是应该报告？

我的显卡：Intel HD 3000 + Nvidia Gtx425。Unity 在集成显卡上运行。

PS：这似乎仅在自动隐藏模式下出现，而不会在始终开启模式下出现。