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 Stopping Editor Events #66

Closed rbrisita closed 2 years ago

rbrisita commented 2 years ago

Better handling of events processing and stopping. The combination of timer and asynchronous functions do not cleanly stop the processing of events.

rbrisita commented 2 years ago

Ideally the use of AbortController and abort-able timers and promises in Node.JS v16 would be the way to go but because of VSCode's v1.59 usage of Electron v13, that contains Node v14, a polyfill needs to be used for AbortController.

Likely candidate: https://www.npmjs.com/package/node-abort-controller