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 Selection Bug #187

Closed rbrisita closed 2 years ago

rbrisita commented 2 years ago

There is unnecessary highlight selection on selection events.