[Agda] emacs problem

[Andreas Buechele]

Hello *,

i've tried to install Agda 2.2.2 and run into problems on my newly
installed system. The install process of Agda runs without any errors.

If I startup emacs with some .agda File. The file is shown without any
highlighting, the Agda menu is missing and the unicode characters are
smashed.

The only indication that something goes wrong is the emacs messages buffer:

===>8===
Warning: no fonts matching
`-*-fixed-medium-r-normal-*-16-*-*-*-*-*-iso8859-1' available [2 times]
("emacs" "examples/Setoid.agda")
Loading <somepath>/share/Agda-2.2.2/emacs-mode/agda2.el (source)...done
For information about GNU Emacs and the GNU system, type C-h C-a.
Loading <somepth>/share/Agda-2.2.2/emacs-mode/agda2-mode.el (source)...
Loading subst-ksc...done
Loading subst-gb2312...done
Loading subst-big5...done
Loading subst-jis...done
Loading cl-macs...done
Loading cl-extra...done
Loading cl-seq...done
Loading quail/latin-ltx...done
Loading derived...done
File mode specification error: (error "No fonts match
`-misc-fixed-medium-r-normal--18-120-100-100-c-90-iso8859-1'")
===8<===

I've already tried the solution from Dan Licata in his 'carbon emacs'
mail. But with no effect.

My .emacs file:

===>8===
(load-file (let ((coding-system-for-read 'utf-8))
                (shell-command-to-string "agda-mode locate")))
(custom-set-variables '(agda2-fontset-name "nil"))
(custom-set-faces)
===8<===

Any ideas?

Kind regards,
  Andreas