Able to Copy/Paste in Editors Set to Read-Only

hazelgrove / hazel

Hazel, a live functional programming environment with typed holes

http://hazel.org/

MIT License

684 stars 45 forks source link

Able to Copy/Paste in Editors Set to Read-Only #1317

Open russell-rozenbaum opened 1 week ago

russell-rozenbaum commented 1 week ago

When an editor is in read-only mode the user is still able to copy/paste code into the editor. First noticed this when working on the title-editor in instructor mode.