Fetch Comments from GitHub, Mark Workspaces as Unread

Fetch comments from GitHub in one click when changes are requested on your PR!

You can also now mark workspaces as unread!

Improvements

• You can now search by PR number in the command palette (⌘K)
• Simpler message duration formatting
• We've reorganized the Settings page. It should take fewer clicks to find the most relevant settings!

Fixes

• Fixed environment variables not being cleared when unset in settings
• Fixed visual issues with loading animations
• Removed hover state CSS transitions. Hovering should feel snappier throughout the app.
• Fixed /add-dir sometimes not running
• Fixed resolved comments not being filtered when fetching comments from GitHub
• Fixed slash commands not getting processed when sent as the first message in a chat or when thinking was enabled
• The revert button will now only show when it will succeed
• Better unicode support in Mermaid diagrams