mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2025-01-05 13:12:16 +03:00
fixup
This commit is contained in:
parent
b8890005fd
commit
ec6c739ffd
@ -168,10 +168,10 @@ keyEvents { focusAndSelect, tabs } thisTab keyCode =
|
||||
( True, Nothing ) ->
|
||||
( True
|
||||
, if tab.disabled then
|
||||
Just { select = tab.id, focus = Just (tabToId tab.idString) }
|
||||
Nothing
|
||||
|
||||
else
|
||||
Nothing
|
||||
Just { select = tab.id, focus = Just (tabToId tab.idString) }
|
||||
)
|
||||
|
||||
( False, Nothing ) ->
|
||||
|
Loading…
Reference in New Issue
Block a user