which according to default.json, should cause the horizontal scroll bar to be always shown (// 1: Always show). But in fact, the horizontal scroll bar is not being shown in any tab until some line in that tab exceeds the window width, so it is acting exactly like "scroll_style_horz" : 2, (// 2: Show automatically).
Understood. I'll try to find some workaround. It's not that I necessarily want the horizontal scroll bar to be there when it is not needed, it is just that I want the window size to stay the same, so that for all tabs, the number of text lines displayed is the same.