Re: x-display-pixel-width/height inconsistency

[Juanma Barranquero]

On Tue, Jul 2, 2013 at 12:38 PM, martin rudalics <address@hidden> wrote:

> Thank you.  Unfortunately, it still doesn't apply here, probably due to
> some local changes.  Juanma, can you try it?  If it applies there, I'll
> adjust it manually here.

I already tested it. Applies OK, seems to work, but unfortunately I
don't have a multi-monitor setup. I'd say let's commit it so it can be
tested by more people.

   J