Skip to content

don't enforce tree line height#825

Open
Renari wants to merge 1 commit intodoki-theme:mainfrom
Renari:patch-1
Open

don't enforce tree line height#825
Renari wants to merge 1 commit intodoki-theme:mainfrom
Renari:patch-1

Conversation

@Renari
Copy link

@Renari Renari commented Oct 31, 2025

Description

This fixes text overlap caused when setting zoom to something higher than 100%.

Motivation and Context

resolves #824

Screenshots (if appropriate):

Before:
image
After:
image

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • Non-Functional Change (non-user facing changes)

Checklist:

  • My code follows the code style of this project (./gradlew check passes clean).
    • Tip: If you have lint issues just run ./gradlew :ktlintMainSourceSetFormat.
  • I updated the version.
  • I updated the changelog with the new functionality.

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.

Text spacing issue when using zoom.

1 participant