2013-02-22 23:19:40 +00:00
|
|
|
|
|
|
|
|
module Window where
|
|
|
|
|
|
2013-03-13 07:03:54 +00:00
|
|
|
import Native.Window as W
|
2013-03-13 07:00:02 +00:00
|
|
|
|
2013-02-22 23:19:40 +00:00
|
|
|
-- The current dimensions of the window (i.e. the area viewable to the
|
|
|
|
|
-- user, not including scroll bars).
|
|
|
|
|
dimensions : Signal (Int,Int)
|
|
|
|
|
|
|
|
|
|
-- The current width of the window.
|
|
|
|
|
width : Signal Int
|
|
|
|
|
|
|
|
|
|
-- The current height of the window.
|
|
|
|
|
height : Signal Int
|
