remove theme manager in favor of theme selector in preferences.

This commit is contained in:
2026-01-16 17:54:40 -07:00
parent 33efa85ac9
commit 46da9fe581
25 changed files with 1 additions and 1594 deletions

View File

@@ -5,9 +5,6 @@ option('gtk-frontend', type: 'boolean',
option('text-frontend', type: 'boolean', value: false,
description: 'Text interface (not generally useful)'
)
option('theme-manager', type: 'boolean', value: false,
description: 'Utility to help manage themes, requires mono/.net'
)
# Features
option('tls', type: 'feature', value: 'enabled',