xrandr

[Riccardo Iaconelli]

On Sunday 08 June 2008 20:00:05 Marco Martin wrote:
> this is my take:
> stretch only when the panel is 100%
> if the user sets the panel to be shorter don't stretch it (apart from
> fitting to the resolution)
> if the panel became 100 because the res is decreased (but it wasn't) when
> it will grow again it's not stretched, but this only for the current
> session (makes sense because if the res was decreased days ago and i
> enlarge it again probably i won't care how it was at that time)

+1

-Riccardo
-- 
GPG key:
3D0F6376
When encrypting, please encrypt also for this subkey:
9EBD7FE1
-----
Pace Peace Paix Paz Frieden Pax Pokój Friður Fred Béke 和平
Hasiti Lapé Hetep Malu Mир Wolakota Santiphap Irini Peoch שלום
Shanti Vrede Baris Rój Mír Taika Rongo Sulh Mir Py'guapy 평화