Skip to content

feat: update version to 3.1.19 and enhance text formatting in Navigat… - #47

Merged
twisti-dev merged 1 commit into
version/26.2from
fix/fix-font-again
Sep 22, 2026
Merged

twisti-dev merged 1 commit into
version/26.2from
fix/fix-font-again

Conversation

@TheBjoRedCraft

Copy link
Copy Markdown
Contributor

…orContents.kt

Copilot AI lite review requested due to automatic review settings September 22, 2026 16:47
@TheBjoRedCraft TheBjoRedCraft self-assigned this Sep 22, 2026

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot review overview

🟢 Approval recommended

The changes are small, consistent, and localized (version bump + straightforward text formatting adjustments) with no evident behavioral regressions from the diff.

Review effort: Lite
Findings: None

What changed in this PR

This PR bumps the project version and tweaks how navigator menu lore lines are constructed so spacing is handled via appendSpace() rather than embedding a trailing space inside the icon glyph text (while applying the custom surf:menu font to the glyph itself).

Changes:

  • Bump version from 3.1.18 to 3.1.19.
  • Adjust multiple navigator lore lines to render the menu glyph (ꑰ / ꑲ) without an inline trailing space and instead add spacing via appendSpace().
File Description
surf-lobby-core-client/​src/​main/​kotlin/​dev/​slne/​surf/​lobby/​core/​client/​menu/​NavigatorContents.kt Updates lore text building to separate glyph rendering (with surf:menu font) from spacing via appendSpace().
gradle.properties Increments the project version to 3.1.19.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@twisti-dev
twisti-dev added this pull request to the merge queue Sep 22, 2026
Merged via the queue into version/26.2 with commit 04943b3 Sep 22, 2026
1 check passed
@twisti-dev
twisti-dev deleted the fix/fix-font-again branch September 22, 2026 17:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants