By default, the separator for the file header spans the full width of the terminal. Use this setting to set the width of the file header manually.
null or signed integer
null
false
