Matthew Flatt 0d36dbefb8 win32: adjust printing-dc% scale to simulate screen DPI ... This is questionable; it might be better to set up a printing context with 72 DPI and adjust the resolution of the Pango font map associated with the DC to be 72 DPI; matching the screen is easier, and it provides the benefit that font metrics (based on fonts with point sizes rather than pixel sizes) are consistent across drawing contexts		2011-01-13 20:08:57 -07:00
..
cocoa	modial dialog don't disable mouse motion, enter, and leave events	2011-01-10 07:53:03 -07:00
common	modial dialog don't disable mouse motion, enter, and leave events	2011-01-10 07:53:03 -07:00
gtk	modial dialog don't disable mouse motion, enter, and leave events	2011-01-10 07:53:03 -07:00
win32	win32: adjust printing-dc% scale to simulate screen DPI	2011-01-13 20:08:57 -07:00
platform.rkt	clean up	2010-11-05 15:54:49 -06:00