| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-07-11 16:56:15 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-07-11 16:56:15 +0200 |
| commit | f974d5b263140d8564d7e36ed8cfd0eac1734e2c (patch) | |
| tree | 789a49a5689b1ae0cc2a3bf75f0bc23f09c99f1d /src/map-editor/src/Struct/UI.elm | |
| parent | 7b891ce04190365080fb4ef5d8dac68528a81af1 (diff) | |
The map editor compiles (but does not work).
Diffstat (limited to 'src/map-editor/src/Struct/UI.elm')
| -rw-r--r-- | src/map-editor/src/Struct/UI.elm | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/map-editor/src/Struct/UI.elm b/src/map-editor/src/Struct/UI.elm index aa83bd6..fe7b700 100644 --- a/src/map-editor/src/Struct/UI.elm +++ b/src/map-editor/src/Struct/UI.elm @@ -14,10 +14,6 @@ module Struct.UI exposing reset_displayed_tab, to_string, get_all_tabs, - -- Navigator - try_getting_displayed_nav, - set_displayed_nav, - reset_displayed_nav, -- Previous Action get_previous_action, set_previous_action |