Adds a virtual doc view of the infoset. In addition to adding the obvious function of viewing this infoset, this work is also attempting to demonstrate an alternative way of managing the editor views by splitting the update out from the display.
commands
display: displays the view based on the temp file
save: writes the current infoset state to a specified file
closes #36
diff: displays a diff of the current infoset state against the previous infoset state
closes #35
Diffs here are provided by keeping tabs on the previous infoset state and then using the built in vs code diff tool to run it against the current state. Pretty simple, but effective.
Can diff at any point with ctrl+p diff command.
There are some interesting implications of diffing things from more than one step back as well, but didnt implement a history of any sort.
Adds a virtual doc view of the infoset. In addition to adding the obvious function of viewing this infoset, this work is also attempting to demonstrate an alternative way of managing the editor views by splitting the update out from the display.
commands
Diffs here are provided by keeping tabs on the previous infoset state and then using the built in vs code diff tool to run it against the current state. Pretty simple, but effective.
Can diff at any point with ctrl+p diff command.
There are some interesting implications of diffing things from more than one step back as well, but didnt implement a history of any sort.