diff options
| author | Christian Kolset <christian.kolset@gmail.com> | 2026-06-03 12:43:19 -0600 |
|---|---|---|
| committer | Christian Kolset <christian.kolset@gmail.com> | 2026-06-03 12:43:19 -0600 |
| commit | 6fb559b64682d6f564d134b8937a688df59ed8e5 (patch) | |
| tree | 6d8acd281ab7a16e900e21b6978fa34deadf3649 /ui/windows/settings_window.py | |
| parent | 0355099aa21918e8f6f7fcd61aba8e3014bf8171 (diff) | |
Fix derivative sources visibility; code editor monospace + 4-space tabs
- Always insert one source row for derivative/second_derivative on build
- Guard in _on_kind: add row when switching to derivative with no sources
- Code editor: monospace font (IBM Plex Mono/Consolas fallback)
- Code editor: tab stop = 4 character widths
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Diffstat (limited to 'ui/windows/settings_window.py')
0 files changed, 0 insertions, 0 deletions