webui-client issueshttps://gitlab.fit.cvut.cz/algorithms-library-toolkit/webui-client/-/issues2022-10-16T19:35:49+02:00https://gitlab.fit.cvut.cz/algorithms-library-toolkit/webui-client/-/issues/89Input box types string and String are confusing2022-10-16T19:35:49+02:00Tomáš PeckaInput box types string and String are confusingStudent did come up with this which is wrong [webui_export.json](/uploads/fbe40c1ecdb3876cce424f1fda76afd5/webui_export.json)
We need to redesign this, it's very confusing because
* string is unparsed but sometimes (when?) this std::st...Student did come up with this which is wrong [webui_export.json](/uploads/fbe40c1ecdb3876cce424f1fda76afd5/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