coqide (port coq) says: Xlib: extension "RANDR" missing on display ":0.0".

Dimitri Hendriks diem at
Tue Apr 21 11:46:48 PDT 2009


Thanks to Ryan Schmidt I managed to install port labgtk2,
and then port coq. This all went fine, at least so it seemed.
However, if I try to run coqide, I get the message:

Xlib:  extension "RANDR" missing on display ":0.0".

followed by multiple copies of this line:

(coqide:23495): Pango-WARNING **: Error loading GDEF table 0x6EAD

Anyone an idea?


More information about the macports-users mailing list