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