Skip to content

Make floater tools use Dejavu with old font size #2 - #5392

Merged
akleshchev merged 1 commit into
maxim/flat-ui-fonts-updatefrom
andreyk/flat-ui-fonts-update
Feb 9, 2026
Merged

Make floater tools use Dejavu with old font size #2#5392
akleshchev merged 1 commit into
maxim/flat-ui-fonts-updatefrom
andreyk/flat-ui-fonts-update

Conversation

@akleshchev

Copy link
Copy Markdown
Contributor

Switch floater tools' tabs to use Dejavu with old font size
Fix missed conversation item having label that is too low.

@akleshchev
akleshchev merged commit 3d0e923 into maxim/flat-ui-fonts-update Feb 9, 2026
7 checks passed
@akleshchev
akleshchev deleted the andreyk/flat-ui-fonts-update branch February 9, 2026 20:36
@github-actions github-actions Bot locked and limited conversation to collaborators Feb 9, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants