Can't increase font size

Questions about YourKit Java Profiler
Post Reply
Liana
Posts: 2
Joined: Tue Aug 07, 2018 12:36 pm

Can't increase font size

Post by Liana »

Hi!
I have ubuntu machine and 4k monitor. I use 2018.04 linux bundle.

Both fonts and icons are very small.

Section from log regarding fonts:

Code: Select all

8.04-81 0.239: com.yourkit.k.s.a.w: FYI: native (current) LAF font: javax.swing.plaf.FontUIResource[family=Ubuntu,name=Ubuntu,style=plain,size=26]
18.04-81 0.239: com.yourkit.k.s.a.w: FYI: metal font: javax.swing.plaf.FontUIResource[family=Dialog,name=Dialog,style=bold,size=12]
18.04-81 0.239: com.yourkit.k.s.a.w: FYI: default font preference for this system: metal
18.04-81 0.239: com.yourkit.k.s.a.w: font: using metal
18.04-81 0.239: com.yourkit.k.s.a.w: general font: javax.swing.plaf.FontUIResource[family=Dialog,name=Dialog,style=plain,size=12]
I added to ui.ini

Code: Select all

-Dyjp.font.name=Dialog
-Dyjp.font.size=24
as recommended in this https://yourkit.com/forum/viewtopic.php?f=3&t=30959 topic

But it didn't affect the font and section in logs was the same. Could you please help? Maybe font setting was renamed or smth...
Vladimir Kondratyev
Posts: 1624
Joined: Tue Aug 10, 2004 7:52 pm

Re: Can't increase font size

Post by Vladimir Kondratyev »

Please try the following:
-Dyk.font.name=Dialog
-Dyk.font.size=24
Best regards,
Vladimir Kondratyev
YourKit GmbH
http://www.yourkit.com
"Don't get lost in data, get information!"
Liana
Posts: 2
Joined: Tue Aug 07, 2018 12:36 pm

Re: Can't increase font size

Post by Liana »

Thank you.
Works!
Sandro
Posts: 2
Joined: Sun Mar 17, 2019 2:09 am

Re: Can't increase font size

Post by Sandro »

Hi,

those settings don't seem to work in the latest version (2019.1-b112) on Windows 7.

I edited the C:\Users\myUsername\.yjp\ui.ini file, adding the two keys, but they had no effect on the Profiler.

Please provide the latest keys.

Thanks.
Sandro
Posts: 2
Joined: Sun Mar 17, 2019 2:09 am

Re: Can't increase font size

Post by Sandro »

Here is a screenshot (I can't seem to edit my post above):

https://imgur.com/a/TEpgn94
Anton Katilin
Posts: 6172
Joined: Wed Aug 11, 2004 8:37 am

Re: Can't increase font size

Post by Anton Katilin »

Could you please provide:
- the file ui.ini
- the profiler log file <user home>/.yjp/log/profiler-ui-<PID>.log
Post Reply