spot-web-app issueshttps://gitlab.lre.epita.fr/spot/spot-web-app/-/issues2021-02-23T12:32:08+01:00https://gitlab.lre.epita.fr/spot/spot-web-app/-/issues/5add a way to save (and restore) the current state2021-02-23T12:32:08+01:00Alexandre Duret-Lutzadd a way to save (and restore) the current stateThe old CGI application used the hash part of the URL to save the value of all its parameters, allowing browser history to work like undo/redo, and making it easy to share a link with somebody else.
This web app does not do that anymore...The old CGI application used the hash part of the URL to save the value of all its parameters, allowing browser history to work like undo/redo, and making it easy to share a link with somebody else.
This web app does not do that anymore. It would be nice to have some way to save the entire state of the React application. It could be via an URL that is automatically updated on each action (as we did in the old CGI script), or via an explicit "share" button that generates a URL the application is able to read back.
I would also like to have a way to start the application in a specific tab.https://gitlab.lre.epita.fr/spot/spot-web-app/-/issues/4Support for exclusive AP2020-11-12T19:10:27+01:00Alexandre Duret-LutzSupport for exclusive APIt would be nice to have an way to declare APs that are exclusive, and use that to simplify the resulting automaton.
Set also http://lists.lrde.epita.fr/pipermail/spot/2020q3/000293.htmlIt would be nice to have an way to declare APs that are exclusive, and use that to simplify the resulting automaton.
Set also http://lists.lrde.epita.fr/pipermail/spot/2020q3/000293.htmlhttps://gitlab.lre.epita.fr/spot/spot-web-app/-/issues/2Filled Text Fields2018-10-01T15:04:29+02:00Alexandre Duret-LutzFilled Text FieldsMaterial-ui 3.1.0 add support for [filled text fields](https://material-ui.com/demos/text-fields/#filled).
Maybe we should use this to display the two formulas in the *compare* tab.Material-ui 3.1.0 add support for [filled text fields](https://material-ui.com/demos/text-fields/#filled).
Maybe we should use this to display the two formulas in the *compare* tab.