Input box types string and String are confusing
Student did come up with this which is wrong webui_export.json
We need to redesign this, it's very confusing because
- string is unparsed but sometimes (when?) this std::string is lifted to our string::LinearString (String)
- String type is
string::*
, it also needs to delimit symbols with whitespace and for linear string we need to wrap it in quotes (e.g ."a h o j"
)
cc @bilybran
Edited by Tomáš Pecka