@@ -31,6 +31,7 @@ Text fields come later.
32import Signal (Signal)
32import Signal (Signal)
33import Graphics.Element (Element)
33import Graphics.Element (Element)
34+import Native.Graphics.Input
35data SignalID a = SignalID
36data SignalID a = SignalID
@@ -72,7 +73,7 @@ customButton : SignalID a -> a -> Element -> Element -> Element -> Element
72customButton = Native.Graphics.Input.customButton
73customButton = Native.Graphics.Input.customButton
74checkbox : SignalID a -> (Bool -> a) -> Bool -> Element
75checkbox : SignalID a -> (Bool -> a) -> Bool -> Element
75−checkbox = Native.Graphics.Input.checkboxes
76+checkbox = Native.Graphics.Input.checkbox
77{-| Create a drop-down menu. The following drop-down lets you choose your
78{-| Create a drop-down menu. The following drop-down lets you choose your
78favorite British sport:
79favorite British sport: