Move all styles of source code editor and query input into theme.#194
Draft
linuspahl wants to merge 1 commit into
Draft
Move all styles of source code editor and query input into theme.#194linuspahl wants to merge 1 commit into
linuspahl wants to merge 1 commit into
Commits
Commits on Feb 9, 2026
- committed
