April 9, 2012
2:17 a.m.
Stéphane Ducasse 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 As well, it is hard to see the period at the end of statement - particularly following a closing square bracket.