Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
πŸ”₯πŸ”₯πŸ”₯ Change GitHub Tab Size #bookmarklet
javascript: void ((function() {
/* More bookmarklets at https://gist.github.com/iamandrewluca/61feacf07bc4f2f50e70f986c2e9b2d2 */
if (window.location.origin !== 'https://github.com') return;
const tabSizeInput = window.prompt("Write indent size", '4');
if (/^\d+$/.test(tabSizeInput)) {
const newUrl = new URL(window.location.href);
newUrl.searchParams.set('ts', tabSizeInput);
location.href = newUrl.href;
}
})());
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.