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

[Dimitri Hendriks]

I thought I did that. Anyway, now I did port selfupdate and
port sync (what is the difference?) and only then port upgrade pango,
and this works! Now I have pango 1.24.1 and indeed the problems with
coqide disappeared.

Thanks again,
Dimitri


On 22 Apr 2009, at 19:51, Joshua Root wrote:

> Dimitri Hendriks wrote:
>> Hi Ryan,
>>
>>> You should now have pango 1.24.1, yes?
>>
>> No, I have 1.24.0. If "sudo port upgrade pango"
>> is not the right way to upgrade, then what is?
>
> Probably you need to selfupdate first.
>
> - Josh