Repository navigation

Add settings for CodeMirror themes and keybindings - #216

Merged

vogelsgesang merged 3 commits into

mainfrom

codemirror-settings

Oct 8, 2026

Commits on Oct 8, 2026
- Add settings for CodeMirror themes and keybindings
  vogelsgesang
  committed
  5aae5cf
- Remove unnecessary QueryGraph settings documentation
  vogelsgesang
  committed
  19b735a
- Inline CodeMirror system theme callbacks
  vogelsgesang
  committed
  aa19d1c