2006-07-11  Ralf Angeli  <angeli@caeruleus.net>

	* w32fns.c (Fx_display_mm_height, Fx_display_mm_width): Calculate
	size of display by means of size in pixels and number of pixels
	per inch.