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

Reset Document Fold #142

Closed rbrisita closed 2 years ago

rbrisita commented 2 years ago

Handling the reset of folded visible ranges on recorder and player start. Closes #134.