bug#7296: display-pixel-height not enough

[Eli Zaretskii]

> Date: Mon, 01 Nov 2010 20:38:59 +0100
> From: Jan Djärv <jan.h.d@swipnet.se>
> Cc: "7296@debbugs.gnu.org" <7296@debbugs.gnu.org>
> 
> But implementing fullheight/width on w32 is still better.

If you mean this:

  (w32-send-sys-command #xf030)

then it's already implemented.