feat: add debug mode setting to @penrose/editor

[wodeni]

Description

@penrose/editor current displays the debug tabs on the right regardless if it's in production or development mode. This PR adds an explicit "debug mode" checkbox in the "settings" tab. This option is on by default in local dev mode and off in production. Currently, checking this box will display the debug tabs on the right:

Un-checking it hides them:

If the user drags one of the tabs out of the right tab group, unchecking the box will not hide it. Not sure if it's a bug or feature:

Implementation strategy and design decisions

• Added a flag in Settings
• Added a onSet effect for hiding/showing the right border group

Checklist

• I have commented my code, particularly in hard-to-understand areas
• My changes generate no new ESLint warnings
• I have reviewed any generated changes to the diagrams/ folder

[cloudflare-pages]

Deploying with    Cloudflare Pages

Latest commit:	97eb4fa
Status:	✅  Deploy successful!
Preview URL:	https://679250f4.penrose-72l.pages.dev

View logs

[codecov]

Codecov Report

Merging #1030 (97eb4fa) into main (5863147) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1030   +/-   ##
=======================================
  Coverage   64.18%   64.18%           
=======================================
  Files          62       62           
  Lines        7954     7954           
  Branches     1802     1802           
=======================================
  Hits         5105     5105           
  Misses       2733     2733           
  Partials      116      116           

Impacted Files	Coverage Δ
packages/core/src/utils/Error.ts	34.72% <0.00%> (ø)

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 5863147...97eb4fa. Read the comment docs.

[maxkrieger]

Code LGTM!