I saw the similar issue in search bar. The font is not bold, it is just a plain system font I guess. Looks like EiffelStudio runs out of some handles, GDI resources or similar.