April 8, 2012
7:50 p.m.
Hi, 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?
+1
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