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

[Dimitri Hendriks]

Hi

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?

Dimitri