Selecting a space after a hole results in wrong selection deco - Githubissues

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

807 stars 52 forks source link

Selecting a space after a hole results in wrong selection deco #1362

Open disconcision opened 3 months ago

disconcision commented 3 months ago

Screenshot 2024-08-08 at 5 34 24 PM