StylishThemes / GitHub-tab-sizeLinks
Userstyle to set a custom tab-size on GitHub and Gist
☆18Updated 5 years ago
Alternatives and similar repositories for GitHub-tab-size
Users that are interested in GitHub-tab-size are comparing it to the libraries listed below
Sorting:
- Compact details in the news feed☆23Updated last year
- Add a custom selected tab color to GitHub☆48Updated 2 years ago
- Userstyle to make the sidebar in issues and pull requests sticky☆14Updated 5 years ago
- Pinned header on GitHub☆63Updated 4 years ago
- A dark theme for Pocket☆10Updated 4 years ago
- Add icons to the GitHub news feed☆19Updated 6 years ago
- Override styles repo for all supported StylishThemes org styles☆27Updated 3 months ago
- Show GitHub commit message limits☆24Updated 6 years ago
- User Scripts☆10Updated 3 months ago
- An ES6 Map wrapper for the synchronous userscript storage API☆13Updated 2 years ago
- CLI to flexibly increment a project's version☆12Updated last month
- Buttercup password manager for the command line☆29Updated 2 months ago
- Arrgh Some Patchy Goodness to GitHub!☆59Updated 7 years ago
- Check if a string has ANSI escape codes☆47Updated 10 months ago
- Dark GitHub Community☆40Updated 4 years ago
- Find a file by walking up parent directories☆41Updated last year
- Use JSX for HTML elements.☆39Updated 2 months ago
- Display output from `xo` as a list of style errors, ordered by count☆35Updated 3 months ago
- A chrome extension to open a repository from a GitHub page☆38Updated 9 years ago
- The centralized build center☆10Updated 2 years ago
- Dark scrollbar for hyper☆10Updated 6 years ago
- Compare two software versions, with any number of points (<1KB)☆20Updated 3 years ago
- Browser extension to fix outdated/broken GitHub links to branches☆29Updated 3 months ago
- 🏛️ Darken Discourse forums☆42Updated 2 years ago
- 👍 📨 💔 GitHub Action that deletes +1 comments☆50Updated last year
- Browser-action context menu to request permission for the current tab.☆73Updated 3 months ago
- A dark style for the GitHub Blog☆9Updated 5 years ago
- 💫 A lightweight browser extension to jump to various external bookmarks from the address bar.☆20Updated 3 weeks ago
- A user style manager for Firefox 57+ which can load local files and apply UI styles☆39Updated 3 years ago
- ShareX Firefox addon☆16Updated last year