summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2022-01-07 19:35:38 +0100
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2022-01-07 19:35:38 +0100
commit127f9c3fe7190a4e5daebf63b6fad7dd75af3257 (patch)
tree2e2e37de651acee10ca87f548919c9073f6718f7 /src/Struct
parentb2d29a6ec8d55cebaae7cbff86375f05c77c2d11 (diff)
...
Diffstat (limited to 'src/Struct')
-rw-r--r--src/Struct/Flags.elm3
-rw-r--r--src/Struct/UI.elm6
2 files changed, 8 insertions, 1 deletions
diff --git a/src/Struct/Flags.elm b/src/Struct/Flags.elm
index 43fc7c2..3614469 100644
--- a/src/Struct/Flags.elm
+++ b/src/Struct/Flags.elm
@@ -13,7 +13,8 @@ import List
--------------------------------------------------------------------------------
type alias Type =
{
- url_parameters : (List (List String))
+ url_parameters : (List (List String)),
+ random_number : Int
}
--------------------------------------------------------------------------------
diff --git a/src/Struct/UI.elm b/src/Struct/UI.elm
index b3bdaae..108ab04 100644
--- a/src/Struct/UI.elm
+++ b/src/Struct/UI.elm
@@ -52,6 +52,12 @@ display_error : (Html.Html Struct.Event.Type) -> Type -> Type
display_error html ui =
{ui | displayed_errors = (List.append ui.displayed_errors [html])}
+display_string_error : String -> Type -> Type
+display_string_error string ui =
+ {ui |
+ displayed_errors = (List.append ui.displayed_errors [(Html.text string)])
+ }
+
display_choice : Int -> (Html.Html Struct.Event.Type) -> Type -> Type
display_choice ix html ui =
{ui | displayed_choices = (List.append ui.displayed_choices [(ix, html)])}