Tue Sep 2 16:07:10 EDT 2008 A....@ke...
* Export and fix functions for querying display size.
hunk ./gtk/Graphics/UI/Gtk/Gdk/Screen.chs.pp 77
+ screenGetWidthMM,
+ screenGetHeightMM,
hunk ./gtk/Graphics/UI/Gtk/Gdk/Screen.chs.pp 301
-screenGetWidthMm :: Screen
+screenGetWidthMM :: Screen
hunk ./gtk/Graphics/UI/Gtk/Gdk/Screen.chs.pp 303
-screenGetWidthMm self =
+screenGetWidthMM self =
hunk ./gtk/Graphics/UI/Gtk/Gdk/Screen.chs.pp 308
+screenGetWidthMm = screenGetWidthMM
+
hunk ./gtk/Graphics/UI/Gtk/Gdk/Screen.chs.pp 313
-screenGetHeightMm :: Screen
+screenGetHeightMM :: Screen
hunk ./gtk/Graphics/UI/Gtk/Gdk/Screen.chs.pp 315
-screenGetHeightMm self =
+screenGetHeightMM self =
hunk ./gtk/Graphics/UI/Gtk/Gdk/Screen.chs.pp 320
+screenGetHeightMm = screenGetHeightMM
|