summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2022-01-30 18:29:19 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2022-01-30 18:29:19 +0100
commit671397a5b81ab500a1973edda33ea1d79cb77bf7 (patch)
tree2e7acdf9a8f0c3273c3023ea6abe7d20b7cebeb8 /src/Struct/UI.elm
parentd222161a5bcce5c0f2848d9714ab509b4ba957ff (diff)
Diffstat (limited to 'src/Struct/UI.elm')
-rw-r--r--src/Struct/UI.elm30
1 files changed, 30 insertions, 0 deletions
diff --git a/src/Struct/UI.elm b/src/Struct/UI.elm
index ade62ce..ab95861 100644
--- a/src/Struct/UI.elm
+++ b/src/Struct/UI.elm
@@ -94,6 +94,36 @@ clear_prompt ui =
field_content = ""
}
+display_prompt_content : Type -> Type
+display_prompt_content ui =
+ (display_text (Html.br [] [])
+ (display_text
+ (Html.text ("> " ++ ui.field_content))
+ (display_text (Html.br [] []) ui)
+ )
+ )
+
+display_chosen_option_label : Int -> Type -> Type
+display_chosen_option_label id ui =
+ case
+ (List.filter
+ (\(index, label) -> (index == id))
+ ui.displayed_choices
+ )
+ of
+ [] -> ui
+ ((index, label) :: []) ->
+ (display_text (Html.br [] [])
+ (display_text
+ label
+ (display_text
+ (Html.text "> ")
+ (display_text (Html.br [] []) ui)
+ )
+ )
+ )
+ _ -> ui
+
clear_displayed_texts : Type -> Type
clear_displayed_texts ui = {ui | displayed_texts = []}