You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Chrome 134.0.6998.179 (official build) (64 bits) and Edge Version 135.0.3179.54 (official build) (64 bits)
Actual Behavior
Hi everybody,
Common and universal shortcut keys TAB + SHIFT to unindent code is no more working in editor.p5js.org editor. TAB shortcut for indentation is still working. Any ideas? Does an update cause this issue? Or could the origin of this problem be found in web browser (in this case Chrome).
Thanks a lot for your precious help!
Laurent
Expected Behavior
Unindent code lines with TAB + SHIFT keys
Steps to reproduce
Just go into editor.p5js.org, add code, indent it with TAB key and then unindent with TAB + SHIFT key.
The text was updated successfully, but these errors were encountered:
I believe it comes from the CodeMirror update to version 6 as @raclim explained in previous issue. Are you using v5 of CodeMirror? In the meantime, the issue should be put on hold while waiting for the full implementation of v6.
p5.js version
No response
What is your operating system?
Windows
Web browser and version
Chrome 134.0.6998.179 (official build) (64 bits) and Edge Version 135.0.3179.54 (official build) (64 bits)
Actual Behavior
Hi everybody,
Common and universal shortcut keys TAB + SHIFT to unindent code is no more working in editor.p5js.org editor. TAB shortcut for indentation is still working. Any ideas? Does an update cause this issue? Or could the origin of this problem be found in web browser (in this case Chrome).
Thanks a lot for your precious help!
Laurent
Expected Behavior
Unindent code lines with TAB + SHIFT keys
Steps to reproduce
Just go into editor.p5js.org, add code, indent it with TAB key and then unindent with TAB + SHIFT key.
The text was updated successfully, but these errors were encountered: