Repository navigation

refactor(settings): group the Editor pane into Display, Gutter, Editing - #2793

Merged

datlechin merged 10 commits into

mainfrom

theme/3-chrome-decision

Oct 12, 2026

Merged

refactor(settings): group the Editor pane into Display, Gutter, Editing#2793
datlechin merged 10 commits into
mainfrom
theme/3-chrome-decision

Commits on Sep 12, 2026
Commits on Sep 15, 2026
- refactor(settings): group the Editor pane, name the theme color wells, and unbreak lint on main (#2787)
  datlechin
  authored
  a3295e1
Commits on Oct 12, 2026
- Merge branch 'main' into theme/3-chrome-decision
  datlechin
  committed
  265b994
- refactor(settings): group the Editor pane into Display, Gutter, Editing
  datlechin
  committed
  0d4179f