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

Frank J. R. Hanstick trog24 at
Tue Apr 21 12:40:27 PDT 2009

	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 at

Frank J. R. Hanstick
trog24 at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the macports-users mailing list