I have a little problem with View > Thumb Font settings and especially with font color.
If I decide to change the color, it doesn't change... is this a bug?
I think I recall that the color change was disconnected when the thumb text color indicated whether it was untouched, has a REFINE filter, (BLUE) or an Edit filter (RED) or both; Purple.
The size change works fine.
Fred