mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2025-01-03 03:46:37 +03:00
Add description of
This commit is contained in:
parent
635527c9b1
commit
8fbc51b555
@ -430,7 +430,8 @@ disclosure exitFocusManager =
|
||||
Attribute (\config -> { config | purpose = Disclosure exitFocusManager })
|
||||
|
||||
|
||||
{-| -}
|
||||
{-| Pass a bool indicating whether the tooltip should be open or closed.
|
||||
-}
|
||||
open : Bool -> Attribute msg
|
||||
open isOpen =
|
||||
Attribute (\config -> { config | isOpen = isOpen })
|
||||
|
Loading…
Reference in New Issue
Block a user