FIXED: HOME/EDITOR/BROWSER/FILE CMDR TAB FONT SIZE

Make a request or discuss new features.
Post Reply
tim_crouse
Posts: 60
Joined: 12 Apr 2024 00:22

FIXED: HOME/EDITOR/BROWSER/FILE CMDR TAB FONT SIZE

Post by tim_crouse »

For what it is worth I would suggest NOT making the font of the active tab a different size and consider adding a colored line or changing the color of the tab. Something about making the text smaller seems to be counterintuitive in regards to GUI functionality in terms of visual feedback.

Thats my 2cents, take it for what you will
Best Regards
-Tim C.
User avatar
pjj
Posts: 2130
Joined: 13 Oct 2009 13:48
Location: Kraków, Poland

Re: HOME/EDITOR/BROWSER/FILE CMDR TAB FONT SIZE

Post by pjj »

Are they really displayed with smaller fonts? I checked several themes and active tab is always in bigger font, not smaller ("editor" in my case):
program tabs.png
program tabs.png (3.03 KiB) Viewed 123 times
Maybe it's your specific settings? A screenshot would help here, methinks.

Edit: Seems I didn't understand your comment :oops:

Edit II: Nope, I did understand it alright 8)
Alium tibi quaere fratrem; hic, quem tuum putas, meus est. Titus Flāvius Caesar Vespasiānus Augustus
User avatar
Rickard Johansson
Site Admin
Posts: 6630
Joined: 19 Jul 2006 14:29

Re: HOME/EDITOR/BROWSER/FILE CMDR TAB FONT SIZE

Post by Rickard Johansson »

Active and normal font should be the same in the next version (v16.70). Thanks!
tim_crouse
Posts: 60
Joined: 12 Apr 2024 00:22

Re: FIXED: HOME/EDITOR/BROWSER/FILE CMDR TAB FONT SIZE

Post by tim_crouse »

Hmm, mine appear different.

Windows Blue Theame, Portable, x64 v16.16
SMALLER FONT ON LOWER TAB.png
SMALLER FONT ON LOWER TAB.png (22.16 KiB) Viewed 106 times
User avatar
Rickard Johansson
Site Admin
Posts: 6630
Joined: 19 Jul 2006 14:29

Re: FIXED: HOME/EDITOR/BROWSER/FILE CMDR TAB FONT SIZE

Post by Rickard Johansson »

It depend on the Windows scaling value. Different DPI and scaling yields different results.
tim_crouse
Posts: 60
Joined: 12 Apr 2024 00:22

Re: FIXED: HOME/EDITOR/BROWSER/FILE CMDR TAB FONT SIZE

Post by tim_crouse »

Why would scaling make the font smaller on the active tab?

Is there a setting to offset that behavior?
User avatar
Rickard Johansson
Site Admin
Posts: 6630
Joined: 19 Jul 2006 14:29

Re: FIXED: HOME/EDITOR/BROWSER/FILE CMDR TAB FONT SIZE

Post by Rickard Johansson »

You just have to wait until the next version (v16.70) is released.
Post Reply