search

rbrisita / codio-sui

A media format for VS Code to record and playback the process of programming.
GNU Affero General Public License v3.0
10 stars 3 forks source link

Fix Unsaved Recorded Files #88

Closed rbrisita closed 2 years ago

rbrisita commented 2 years ago

A pop-up dialog appears at the end of a recording when there are unsaved Untitled files.

rbrisita commented 2 years ago

It was decided that the software should force the recorder to save files through a dialog to get the final state of files. When the player starts, any open files are asked to be saved if modified, all files are closed and any unsaved files are reverted and closed so that the player starts with a clean workbench.