TexLite 0.13.0

This release makes source comments easier to navigate and review, with bidirectional source navigation, participant filtering, and a clearer discussion toolbar.

Comment review

• Sort comments by source position (the default, top to bottom) or creation time (newest first). Sorting applies to top-level comments; replies retain their chronological order.
• Filter by participants with a multi-select participant picker. Threads include matching reply authors by default, with an optional Top-level comments only restriction. Selected participants' display names and usernames are highlighted without coloring the entire discussion.
• Combine status and unread mentions: Open/Resolved remain status filters, while unread @ mentions are a separate toggle that can be combined with either status.
• Navigate from source to comments: click unresolved annotated source or its trailing marker to open and locate the corresponding discussion. Explicit navigation temporarily reveals threads hidden by review filters, without marking mentions as read.
• Source navigation preserves normal caret placement and editing. Drag selection and Ctrl/Cmd-click reference navigation remain unaffected; resolved and orphaned comments leave no source markers.

Interface improvements

• A compact review toolbar separates discussion status and navigation from participant, unread-mention, and sorting controls.
• Participant selection uses an anchored popover that does not push discussions down; selections apply immediately, with a separate clear action.
• Author-only Edit/Delete actions now live in a ⋯ menu for each comment and reply. Deletion still requires confirmation.
• Quoted source uses a monospaced, truncated excerpt with a light background; replies use a subtle gray indentation line.