| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2020-01-15 17:22:01 +0100 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2020-01-15 17:22:01 +0100 |
| commit | 83543758b9682f0e476809f207957471fcbbff5b (patch) | |
| tree | 89b1f3a64810e47302b103acde5b608fd8d5327d /src/map-editor/src/Struct/UI.elm | |
| parent | dc7c1857845a5da7cd6cba178c16fa8ea8c68cec (diff) | |
...
Diffstat (limited to 'src/map-editor/src/Struct/UI.elm')
| -rw-r--r-- | src/map-editor/src/Struct/UI.elm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/map-editor/src/Struct/UI.elm b/src/map-editor/src/Struct/UI.elm index f295e19..4d20171 100644 --- a/src/map-editor/src/Struct/UI.elm +++ b/src/map-editor/src/Struct/UI.elm @@ -9,7 +9,7 @@ module Struct.UI exposing reset_zoom_level, mod_zoom_level, -- Tab - try_getting_displayed_tab, + maybe_get_displayed_tab, set_displayed_tab, reset_displayed_tab, to_string, @@ -73,8 +73,8 @@ mod_zoom_level : Float -> Type -> Type mod_zoom_level mod ui = {ui | zoom_level = (mod * ui.zoom_level)} -- Tab ------------------------------------------------------------------------- -try_getting_displayed_tab : Type -> (Maybe Tab) -try_getting_displayed_tab ui = ui.displayed_tab +maybe_get_displayed_tab : Type -> (Maybe Tab) +maybe_get_displayed_tab ui = ui.displayed_tab set_displayed_tab : Tab -> Type -> Type set_displayed_tab tab ui = {ui | displayed_tab = (Just tab)} |