On Apr 8, 2012, at 9:43 PM, Guillermo Polito wrote:

I like monospace fonts mostly for programming...

Courier new?

courier sucks :P

DejaVu sans mono?

On Sun, Apr 8, 2012 at 9:03 PM, St�phane Ducasse <stephane.ducasse@inria.fr> wrote:

Hi guys

I do not like the default font because there is not enough space around :
so this is difficult to see it for example in

:=

so what can be done?
Can we modify this font?

Stef