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

[J.Burton at brighton.ac.uk]

At Wed, 26 Nov 2008 22:16:51 +0900,
Nils Anders Danielsson wrote:
> 
> On 2008-11-25 22:59, Jim Burton wrote:
> > can anyone recommend a monospaced font for use with agda-mode on
> > ubuntu Hardy?
> 
> By default the Agda mode tries to use one of Markus Kuhn's misc-fixed
> fonts (at least for Unicode symbols). Unfortunately this is a bit-mapped
> font. I have not found any scalable, monospaced font which supports all
> the characters supported by misc-fixed. If anyone does, please let me
> know.
>

These misc-fixed fonts aren't monospaced for me (using Gnu Emacs 23, xft
backend, ubuntu hardy). 

Jim
 
> (Liyang's .deb package for the Agda mode should ensure that this font is
> installed, by the way.)
> 
> -- 
> /NAD
> 
> This message has been checked for viruses but the contents of an attachment
> may still contain software viruses, which could damage your computer system:
> you are advised to perform your own checks. Email communications with the
> University of Nottingham may be monitored as permitted by UK legislation.
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda