Add optional tab indentation toggle to embedded CodeMirror editor .#1053

Closed

rakesh2OO5 wants to merge 4 commits intoprocessing:mainfrom

rakesh2OO5:tab-indentation-toggle

Commits on Dec 17, 2025

Add optional tab indentation toggle to embedded code editor
rakesh2OO5
committed

Commits on Dec 18, 2025

Fix duplicate codemirror state import
rakesh2OO5
committed

Commits on Dec 31, 2025

Fix p5.sound reference pages linking to correct GitHub repository
rakesh2OO5
committed

Commits on Jan 1, 2026

Merge branch 'main' into tab-indentation-toggle
rakesh2OO5
authored