Tabs v1.3.7

Notification history, schedule popover styling, time picker typing, and provider session lifecycle

Tabs v1.3.7 adds notification history and desktop alert preferences, improves time entry for scheduled prompts, and lets you choose available Codex reasoning levels.

What changed

• Notification system & history panel: Added a dedicated Notifications History drawer with category filtering, sound/badge settings, auto-dismiss duration controls, and full synchronization with the desktop native overlay.
• Schedule popover & time picker typing overhaul: Added modern backdrop blur styling to schedule dialogs and completely overhauled time picker input mechanics—eliminating drum wheel scroll fighting and hour input sticking to provide seamless, intuitive keyboard numeric entry.
• Prompt stash & message queue panels: Introduced prompt staging and queue management panels to organize and sequence agent commands without interrupting ongoing execution streams.
• Session cleanup: Ending an agent conversation now stops its background updates more reliably.
• Dynamic Codex reasoning effort & Grok fallback: Enabled support for dynamic, server-reported reasoning effort levels across models and added resilient fallback routing for Grok model configurations.
• Theme heading font support: Added custom headingFont selection in Theme Studio with full export/import and system font synchronization.