Re: [BUG] Edge-Flipping does not work after resolution change

[Teika Kazura <teika lavabit com>]

Hi.

On Sat, 23 May 2009 14:06:34 +0200, Christopher Roy Bratusek wrote:
>> How can you change the resolution on the fly?
> gnome-display-properties

On Sun, 24 May 2009 03:27:09 +0600, "Alexey A. Smirnov" wrote:
> For example: $ xrandr -s 1024x768

Thanks.

I tried. The problem is not limited to edge-flipping, but all -
viewports, fullscreen, perhaps dock-like scripts too - ignore
resolution change.

Does resolution (screen size) change produce, uh, 'signal'? (I don't
know icccm/ewmh.)

Once the change is known to sawfish, edge-flip is easy to fix, but
others are a bit difficult.

For example, if infinite-desktop is used, then the notion of viewport
'coordinate', like (1, 2), doesn't make sense, but otherwise, we've
got to move each window to fit to the new viewport.

I think infinite-desktop needs rework and be integrated with
viewport.jl, but it will introduce incompatible change. (Only user
'custom' level, and no API.) Chris and I had a short talk on it 
a couple of months ago, but we haven't got time since then ;)
It may take some time, so I don't like to make it shipped in 1.5.0.

Regards,
Teika (Teika kazura)