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

Jeremy Huddleston jeremyhu at
Tue Apr 21 13:10:06 PDT 2009

First off... the GDEF foo... make sure you upgrade pango.  That should  
be fixed upstream as of last week's release:

If you're still seeing it with the new pango, you need to isolate what  
font is causing the problem.  Look at that bug report to see how I did  

Now for RandR... just ignore the informative message...

On Apr 21, 2009, at 12:40, Frank J. R. Hanstick wrote:

> 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.

Not exactly.  It's on the back burner at the moment.  It's useful for  
games (wine) from a control perspective, and it's nice for everyone  
else from a notification perspective.

>  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.

That's not how it works.  We need to translate the native  
notifications that the X server receives into RandR notifications.   
Similarly, we need to translate the RandR commands into API calls to  
change the resolution.

> 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 at
> Frank J. R. Hanstick
> trog24 at
> _______________________________________________
> macports-users mailing list
> macports-users at

More information about the macports-users mailing list