From: Axel S. <si...@co...> - 2008-09-02 20:08:13
|
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 |