TexLite v0.12.0

This release improves GitHub backup, makes selection history easier to access, simplifies project snapshots, and refines editor settings.

GitHub backup

GitHub personal access tokens are now managed per user rather than per project. Click your account name on the project dashboard to configure your token once.
Repository creation and pushes use the current project owner's credentials. Repository bindings remain project-specific.
Commit and push operations keep the Git dialog open and display success or failure feedback without reloading the workspace.
Commit is disabled when there are no local changes; push is disabled when there are no unpushed commits.
Removed the manual refresh control and improved token authentication and permission error messages.
Commit-history diff buttons now toggle the comparison open and closed. Their tooltips remain available regardless of the workspace tooltip setting.

Selection history is now available directly from the line-number gutter when source text is selected, alongside the comment action. The top toolbar retains a single project snapshots button.
The selected file, range, and source are captured before opening selection history, keeping the comparison stable during collaborative edits.
New snapshots are saved only when files are added, changed, or deleted. Settings-only changes no longer create empty timeline entries.
Existing empty snapshots are hidden from the timeline without being automatically deleted.
PDF, image, and other non-text attachment changes appear as compact notices instead of text diffs. Attachments remain available for recovery.
Fixed deletion-only snapshots incorrectly appearing to have no changed files. Invalid or oversized text comparisons are reported as unavailable rather than unchanged.

Added a compact Harper CLI availability indicator beside the project dictionary, with a recheck action when unavailable or when the status request fails.
Moved writing-issue counts and navigation controls below the spelling and grammar checking option.
Simplified helper text for tooltips, math previews, editor tabs, and formatting in English and Chinese.
File and folder move controls always show a concise “Move or rename” tooltip, even when interface tooltips are disabled.
Fixed the HTML lang attribute remaining Chinese when the interface was English. It now follows both initial language detection and subsequent switches. Fixes #6.