erosman / CodeMirror-plus
Additonal features for CodeMirror
☆14Updated 8 months ago
Alternatives and similar repositories for CodeMirror-plus:
Users that are interested in CodeMirror-plus are comparing it to the libraries listed below
- Chrome extension to archive opened tabs in a zip file☆13Updated 12 years ago
- An ES6 Map wrapper for the synchronous userscript storage API☆13Updated 2 years ago
- Chrome extension to enable and disable other extensions quickly☆14Updated 2 years ago
- User Scripts☆10Updated last month
- Crowdsource (y)our view. Universal tweaks to refine, renew, re-imagine the web. (Imagine uBlock 'My Filters' as a global collaboration)…☆13Updated 11 months ago
- Browser extension for zooming web pages with the left or right mouse button and the scroll wheel☆31Updated 10 months ago
- A customizable dark theme for web pages☆17Updated 4 years ago
- A user script that lets you quickly switch Google search to different region.☆16Updated 8 months ago
- Elementary extension manager. Compact design, no superfluous features.☆67Updated 4 years ago
- ☆18Updated 4 years ago
- A fully reworked fork of View-Image-Info-Chrome extension☆16Updated last year
- Be smarter & faster. Chrome deletes history after 90 days. 'Senile storage' is a paradox (Storage is to reduce forgetting, not promote it…☆14Updated 2 years ago
- 🕶️ Track your browsing history in incognito mode.☆25Updated last year
- A replacement for the default Chrome downloads shelf☆21Updated 2 years ago
- Provides ability to save selected tabs to local files for Firefox 63 and later.☆21Updated 3 months ago
- Userscripts to add functionality to miscellaneous sites☆34Updated 3 years ago
- Online editor support for Tampermonkey's userscripts☆21Updated 2 months ago
- This add-on provides a button to open multiple URLs from clipboard.☆12Updated 2 years ago
- A simple powerful extension to adjust layout size of the current browser window☆20Updated 4 years ago
- Google chrome extension which lets you see the similar repositories which is being viewed.☆13Updated 3 years ago
- ☆15Updated 3 years ago
- SECRET 🤫☆22Updated 11 months ago
- All my old code in various languages. Some of it is better than the rest.☆28Updated 4 months ago
- A snapshot based chrome extensions manager☆30Updated 7 years ago
- A collection of user scripts that I made to make my experience on the web a little nicer☆18Updated 10 months ago
- Missing addon manager for firefox☆17Updated last year
- Source code for Chrome/Firefox extension "Close Tab by Double Right Click"☆25Updated 3 months ago
- a simple yet powerful note-taking solution to replace my QuickFox project!☆24Updated 2 years ago
- A collection of some of the userscripts I created.☆26Updated last year
- UserCSS theme sharing site☆20Updated 3 years ago