April 8, 2012
7:43 p.m.
I like monospace fonts mostly for programming... Courier new? 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