Skip to content

Expanded tab settings to accommodate different styles.#455

Merged
henry2cox merged 2 commits intolinux-test-project:masterfrom
tDwtp:master
Feb 12, 2026
Merged

Expanded tab settings to accommodate different styles.#455
henry2cox merged 2 commits intolinux-test-project:masterfrom
tDwtp:master

Conversation

@tDwtp
Copy link
Contributor

@tDwtp tDwtp commented Feb 12, 2026

--num-spaces now allows any numerical value.
alter apperance via negative values.
replace with spaces via positive values (backwards compatible).
do not alter tabs or their apperance via 0.
help and man pages updated to reflect the changes.
default (8) is unchanged.

minor tweak to man pages: num replaced with spaces for consistency.

NOTE: uses CSS3 'tab-size' (for altering tab apperance).
Widely available since 2021. Webkit since around 2013.

Additional info:
I am not sure if this is even wanted. Changing the apperance instead of replacing
was just usefull to not trigger linters out of the box.

Benedikt Roland added 2 commits February 12, 2026 08:33
'--num-spaces' now allows any numerical value.
alter apperance via negative values.
replace with spaces via positive values (backwards compatible).
do not alter tabs or their apperance via 0.
help and man pages updated to reflect the changes.
default (8) is unchanged.

minor tweak to man pages: num replaced with spaces for consistency.

NOTE: uses CSS3 'tab-size' (for altering tab apperance).
Widely available since 2021. Webkit since around 2013.
@henry2cox
Copy link
Collaborator

Thanks for the enhancement.
Seems like a Good Idea (tm) ... previously supported behaviour (spaces > 0) is unchanged and new feature is available for those who want it.

@henry2cox henry2cox merged commit 9de62e3 into linux-test-project:master Feb 12, 2026
5 checks passed
@tDwtp
Copy link
Contributor Author

tDwtp commented Feb 13, 2026

I also wanted to mention, as CSS defines the default tab-size value to be 8 (see here) setting the default value of this option to 0 might be a good consideration for the future. It should not change the appearance at all anyway.

However I would wait and check feedback. Based on the feedback and if the idea sticks or there is another good reason I would change it to 0.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants