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

[Jeremy Huddleston]

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

http://bugzilla.gnome.org/show_bug.cgi?id=577952

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

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 lists.macosforge.org
>> http://lists.macosforge.org/mailman/listinfo.cgi/macports-users
>
> Frank J. R. Hanstick
> trog24 at comcast.net
>
>
>
> _______________________________________________
> macports-users mailing list
> macports-users at lists.macosforge.org
> http://lists.macosforge.org/mailman/listinfo.cgi/macports-users