resizing tab width on GitHub diffs

2022 October 14

Do you think 8-wide tabs are too wide, especially when reviewing code side-by-side?

Create a bookmarklet with this, and it’ll shrink those tabs right up whenever you click it.

javascript:[...document.getElementsByClassName('tab-size')].forEach(t => t.setAttribute('data-tab-size', 2))