Currently there is a resizable text affixed to the bottom of the window that we use to display part of the app state for development purposes.
It would be good to keep this feature around for now, as it is useful for exporting examples for test cases, but we should get it out of the way.
Let the user toggle its visibility (w/ default set to off), or somthing similar.
Allow the user to paste in json for a tree in progress and update the app state with that.
Check out Graham's ProofJS demo for an example of what the behaviour might look like. Our implementation would need to be different, because we're managing the state with React.
Currently there is a resizable text affixed to the bottom of the window that we use to display part of the app state for development purposes. It would be good to keep this feature around for now, as it is useful for exporting examples for test cases, but we should get it out of the way.
Let the user toggle its visibility (w/ default set to off), or somthing similar.
Allow the user to paste in json for a tree in progress and update the app state with that.
Check out Graham's ProofJS demo for an example of what the behaviour might look like. Our implementation would need to be different, because we're managing the state with React.