promote the Ctrl+K theme picker into a Settings modal

The status-bar popover already handles quick theme switching, so a
separate theme-only modal was redundant. Repurpose it as a general
Settings surface whose first (currently only) section is Appearance:
base themes, sorted, with a High-contrast toggle for -hc siblings,
reusing the theme_families helpers shared with the popover.

Command id stays theme.pick (the welcome theme-link and tests
reference it); only the title and the view it opens change.

Co-Authored-By: Claude <noreply@anthropic.com>

This commit is contained in:

jpmschweitzer

2026-06-06 09:32:20 +02:00

co-authored by

Claude

parent ffd22069a7

commit 968c3dbfa8

8 changed files with 413 additions and 169 deletions

									
										lib/builtin/theme_picker/theme_picker.dart
									
		+1
		-1
	
												View File
												
				@@ -1,2 +1,2 @@

				export 'src/extension.dart';

				export 'src/picker_view.dart';

				export 'src/settings_view.dart';