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

From: Stefan Monnier <[email-masked]>
Date: Fri, 29 Oct 2010 12:24:11 -0400

> 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.

        Stefan