mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2025-01-05 13:12:16 +03:00
oooops bad merge removed some docs
This commit is contained in:
parent
8bf69a6fb2
commit
800e02eab3
@ -63,6 +63,8 @@ withTooltip attributes =
|
||||
Attribute (\tab -> { tab | tabTooltip = attributes })
|
||||
|
||||
|
||||
{-| Makes it so that the tab can't be clicked or focused via keyboard navigation
|
||||
-}
|
||||
disabled : Bool -> Attribute id msg
|
||||
disabled isDisabled =
|
||||
Attribute (\tab -> { tab | disabled = isDisabled })
|
||||
|
Loading…
Reference in New Issue
Block a user