bug#7296: display-pixel-height not enough

[Jan D.]

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.