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

[Dimitri Hendriks]

Thanks Jeremy,

I did

   sudo port upgrade pango

and it installed glib2. But when I run coqide,
the pango error messages are still there.

I do not know how to isolate the font that is
causing the problem, and also am unable to figure
that out from your bug report (probably due to
ignorance on my side).

Finally, I have no clue what you mean with:
"First off... the GDEF foo...".

Best regards,
Dimitri


On 21 Apr 2009, at 22:10, Jeremy Huddleston wrote:

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