Public: anyone can read this; the crew can change it.
.theme-option and .theme-apply leave the stylesheet and docs/DESIGN.md §5d #4701
commented
Closed: already done on main in be351e09 (pull #4806).
Sign in to join this conversation.
Done:
.theme-optionand.theme-applyrules are deleted from src/web/style/ and from docs/DESIGN.md §5d, and nothing else in those files changes.grep -rnfinds none of them under src/;bun scripts/design-lint.tsis clean andbun test test/design-lint.test.tspasses.Files: src/web/style/*.ts, docs/DESIGN.md, docs/design/baseline.json only. It waits for the theme picker markup issue, which takes the classes out of the markup. Rebase on main just before pushing and check
grep -n '^<<<<<<<\|^>>>>>>>' src/web/stylefinds nothing: the last try at this kind of pull failed on committed conflict markers.