2013-02-22 23:19:40 +00:00
|
|
|
|
|
|
|
module Window where
|
|
|
|
|
2013-07-29 17:26:53 +00:00
|
|
|
import Signal (Signal)
|
2013-07-29 21:23:04 +00:00
|
|
|
import Native.Window
|
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)
|
2013-07-29 21:23:04 +00:00
|
|
|
dimensions = Native.Window.dimensions
|
2013-02-22 23:19:40 +00:00
|
|
|
|
|
|
|
-- The current width of the window.
|
|
|
|
width : Signal Int
|
2013-07-29 21:23:04 +00:00
|
|
|
width = Native.Window.width
|
2013-02-22 23:19:40 +00:00
|
|
|
|
|
|
|
-- The current height of the window.
|
|
|
|
height : Signal Int
|
2013-07-29 21:23:04 +00:00
|
|
|
height = Native.Window.height
|