Replies: 1 comment
|
OK - i found 2 different solutions.
(Of course, we would append the current stylesheet with this. A more efficient way, perhaps, without reloading/appending stylesheets is search in dockManager, set to predefined font:_
|
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Is it possible to make the text size in the tabs larger? Better yet, is it possible to change the font? Anyone who knows, please share! Thank you
All reactions