Recentemente, atualizei para o Ubuntu 12.04 e vejo que, ao usar o eclipse para editar o código-fonte, os caracteres em negrito exibidos com a fonte Monospace são realmente mais espessos do que os não-negritos. Portanto, a fonte Monospace não é realmente mono espaço. (mesmo espaço para todos os caracteres)
Isso é um problema conhecido? Estou esquecendo de algo?
Como faço para torná-lo mono espaço novamente?