Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
πŸ”₯πŸ”₯πŸ”₯ Change GitHub Tab Size #bookmarklet
javascript: void ((function() {
/* More bookmarklets at */
if (window.location.origin !== '') 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.