mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-09-21 12:19:03 +03:00
remove unused type constructor
This commit is contained in:
parent
5b78306eda
commit
f5895bb35c
@ -234,7 +234,6 @@ init =
|
||||
{-| -}
|
||||
type Msg
|
||||
= FocusAndSelectTag { select : Maybe Tag, focus : Maybe String }
|
||||
| Focused (Result Dom.Error ())
|
||||
|
||||
|
||||
{-| -}
|
||||
@ -244,9 +243,6 @@ update msg state =
|
||||
FocusAndSelectTag { select } ->
|
||||
{ state | currentTool = select }
|
||||
|
||||
Focused _ ->
|
||||
state
|
||||
|
||||
|
||||
view : State -> Html Msg
|
||||
view model =
|
||||
|
Loading…
Reference in New Issue
Block a user