Hello,
        I do not think the problem is:

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

because the Resize and Rotate extension (RandR) is a very small set of client and server extensions designed to allow clients to modify the size, reflection, rotation and refresh rate of an X screen. RandR also has provisions for informing clients when screens have been reconfigured. This stuff is actually handled natively on OSX through the Display Properties in System Preferences, so there's no need for the extension. Maybe someone should get on top of the X Windows people to test for the MacOS and use a window attribute call rather than RandR to obtain the information required.

On Apr 21, 2009, at 11:46 AM, Dimitri Hendriks wrote:

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
_______________________________________________
macports-users mailing list
macports-users@lists.macosforge.org
http://lists.macosforge.org/mailman/listinfo.cgi/macports-users

Frank J. R. Hanstick
tro...@comcast.net



_______________________________________________
macports-users mailing list
macports-users@lists.macosforge.org
http://lists.macosforge.org/mailman/listinfo.cgi/macports-users

Reply via email to