search

processing / p5.js-web-editor

The p5.js Editor is a website for creating p5.js sketches, with a focus on making coding accessible and inclusive for artists, designers, educators, beginners, and anyone else! You can create, share, or remix p5.js sketches without needing to download or configure anything.
https://editor.p5js.org
GNU Lesser General Public License v2.1
1.38k stars 1.32k forks source link

In shortcuts referring the shortcut key of "ctrl" as ctrl itself instead of ^ as it would make it easier to understand the shortcut keys #2798

Closed aditya123473892 closed 9 months ago

aditya123473892 commented 9 months ago

Increasing Access

it might make the shortcut keys more understandable as other shortcut keys like "enter" are referred normally ctrl error

Feature enhancement details

just referring the ctrl key as ctrl instead of "^"

aditya123473892 commented 9 months ago

if u guys think that this might be an good enhancement can i be assigned to fix it

lindapaiste commented 9 months ago

I'm going to close this as a duplicate of #2355

We have a PR pending to change it. The only holdup there was a question about menu styling/width. #2465