mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
892acedb6b
- /tools command opens SettingsList-based selector for all loaded tools - Space/Enter toggles individual tools between enabled/disabled - Changes apply immediately on toggle (like /settings) - Tool selection persisted to session via appendEntry() - State restored from current branch on session_start, session_tree, session_branch - Uses getBranch() to respect branch-specific tool configuration - Export getSettingsListTheme and getSelectListTheme for hooks to use
892acedb6b
ยท
2026-01-04 18:13:30 +01:00
History