Page 1 of 1

"All tabs now shrink equally": tweak for renamed tabs, please?

Posted: 13 Jun 2021 20:46
by eil
as one of users who actually use this "Renamed tabs always visible" mechanic i'm kinda worried with new changelog. i always used tab rename exactly to make it stand out with icon/name, so i'd appreciate this behaviour to stay at least as a tweak(with factory default off to keep new course).

Re: "All tabs now shrink equally": tweark for renamed tabs, please?

Posted: 14 Jun 2021 09:27
by admin
OK, next beta.

Re: "All tabs now shrink equally": tweark for renamed tabs, please?

Posted: 14 Jun 2021 21:48
by eil
thank you.)

Re: "All tabs now shrink equally": tweark for renamed tabs, please?

Posted: 17 Jun 2021 22:40
by eil
@Don, one little add-wish, can you please mark this tweak(TabDoNotShrinkNamedTabs) in ini file with usual mark(;Tweak), just to not lose this setting in future inis.

Re: "All tabs now shrink equally": tweark for renamed tabs, please?

Posted: 18 Jun 2021 08:22
by admin
eil wrote: 17 Jun 2021 22:40 @Don, one little add-wish, can you please mark this tweak(TabDoNotShrinkNamedTabs) in ini file with usual mark(;Tweak), just to not lose this setting in future inis.
:? can't follow the logic of your statement. Inis don't lose settings, and how would that mark help you? And IMO the key name TabDoNotShrinkNamedTabs was chosen wisely enough to make it easy to find... :)

Re: "All tabs now shrink equally": tweark for renamed tabs, please?

Posted: 18 Jun 2021 10:44
by eil
admin wrote: 18 Jun 2021 08:22 :? can't follow the logic of your statement. Inis don't lose settings, and how would that mark help you? And IMO the key name TabDoNotShrinkNamedTabs was chosen wisely enough to make it easy to find... :)
it's not really about losing settings, and the name is chosen right, just without ;Tweak mark it looks like ordinary setting corresponding to some GUI. you created a good habit to have all tweaks in INI marked and i think many users already got used to these marks. :roll:

Re: "All tabs now shrink equally": tweak for renamed tabs, please?

Posted: 18 Jun 2021 11:13
by admin
The habit is less good than you think. There are many unmarked tweaks. Let's call them minor tweaks. This is one of them.