Subject: Re: bug#7296: display-pixel-height not enough

From: "Jan D." <[email-masked]>
Date: Fri, 29 Oct 2010 21:57:07 +0200

Stefan Monnier skrev 2010-10-29 18:24:
>> On Gnome, the window manager won't let you do this, so when you set frame
> You mean: Gnome's default window-manager doesn't let you do it.
> Many other window-managers that you can use with Gnome let you do it.

Right, I only tested with Compiz and metacity.  Then again, it shows 
that the issue is more complicated than just replacing 
display-width/height with "available" width/height.

     Jan D.