[Agda] Re: Agda-mode: monospaced ucs font for ubuntu?

[Jim Burton]

At Fri, 28 Nov 2008 13:12:12 -0500,
Stefan Monnier wrote:
> 
> > ubuntu Hardy? Freemono is good but is missing a number of symbols that
> > are used in the standard library. I see from the list archive that a
> 
> You can try the CMU fonts http://canopus.iacp.dvo.ru/~panov/cm-unicode/
> 
> > lot of mac users use Monaco; I've installed it
> 
> How did you install it?
> 

I downloaded a Linux version of Monaco from
http://jorrel.blogspot.com/2007/11/monaco-on-ubuntu.html but I don't
know whether it's the "real thing". 

> > and it has all the symbols but it's nowhere near properly monospaced
> > for me in GNU Emacs 23,
> 
> It might be a bug in Emacs-23's font handling that makes it select
> different fonts for different glyphs even though all teh glyphs could be
> provided by the same font.  Use C-u C-x = on the non-monospaced chars to
> find which font is used for them.  See
> http://emacsbugs.donarmstrong.com/cgi-bin/bugreport.cgi?bug=1378
> where you may recognize the name of the bug-reporter.
> 
> 
>         Stefan
> 
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda