[Fluxus] unicode

[Dave Griffiths]

On Sat, 2010-02-13 at 20:48 +0100, gabor papp wrote:
> > Ah! ok - great!
> we should also consider changing bitstream vera sans mono to a font that 
> have unicode support. like dejavu sans mono:
> http://dejavu-fonts.org/wiki/index.php?title=Main_Page
> 
> it looks the same i think, have a free licence, and lots of characters 
> are included: http://dejavu.sf.net/samples/DejaVuSansMono.pdf

done...