coqide (port coq) says: Xlib: extension "RANDR" missing on display ":0.0".
diem at xs4all.nl
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