An additional remark about the garbled fonts in Eclipse: this happens when I scroll the package-explorer window. This might be a Java related thing since I can not reproduce the behavior outside Eclipse.
An additional remark about the garbled fonts in Eclipse: this happens when I scroll the package-explorer window. This might be a Java related thing since I can not reproduce the behavior outside Eclipse.