Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Tab label font size #1406

Open
oussama4 opened this issue Dec 28, 2024 · 1 comment
Open

Tab label font size #1406

oussama4 opened this issue Dec 28, 2024 · 1 comment
Assignees
@kkoreilly
Labels
bug Something isn't working correctly confirmed This bug has been confirmed
Milestone
v0.4

Comments

@oussama4
Copy link

Describe the bug

Updating the font size of the tab label does not work.

How to reproduce

bug report

Example code

No response

Relevant output

No response

Platform

Linux
@oussama4 oussama4 added the bug Something isn't working correctly label Dec 28, 2024
@github-project-automation github-project-automation bot moved this to Todo in Bugs Dec 28, 2024
@kkoreilly
Copy link
Member

kkoreilly commented Jan 5, 2025 •
edited
Loading

Thank you for reporting this issue. We will work on fixing it soon. We will implement this in a way similar to #1340. See also #1313 and #1314.

@kkoreilly kkoreilly self-assigned this Jan 5, 2025
@kkoreilly kkoreilly added the confirmed This bug has been confirmed label Jan 5, 2025
@kkoreilly kkoreilly added this to the v0.4 milestone Jan 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@kkoreilly kkoreilly

Labels
bug Something isn't working correctly confirmed This bug has been confirmed
Projects
Bugs
Status: Todo
Milestone
v0.4
Development

No branches or pull requests
2 participants
@oussama4 @kkoreilly