erosman / CodeMirror-plusLinks
Additonal features for CodeMirror
☆14Updated last year
Alternatives and similar repositories for CodeMirror-plus
Users that are interested in CodeMirror-plus are comparing it to the libraries listed below
Sorting:
- Crowdsource (y)our view. Universal tweaks to refine, renew, re-imagine the web. (Imagine uBlock 'My Filters' as a global collaboration)…☆14Updated 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 weeks ago
- Elementary extension manager. Compact design, no superfluous features.☆69Updated 4 years ago
- Browser extension that allows to find and delete duplicate bookmarks.☆11Updated last year
- Browser extension that disables autoplay on YouTube☆38Updated last year
- Override styles repo for all supported StylishThemes org styles☆27Updated last month
- This add-on provides a button to open multiple URLs from clipboard.☆12Updated 2 years ago
- Chrome extension to enable and disable other extensions quickly☆14Updated 2 years ago
- Website for inspecting the contents of web extensions☆16Updated 3 weeks ago
- A fully reworked fork of View-Image-Info-Chrome extension☆17Updated last year
- Online editor support for Tampermonkey's userscripts☆26Updated 6 months ago
- A customizable dark theme for web pages☆18Updated 5 years ago
- A Graphical user interface for userscripts☆50Updated 6 months ago
- Generated list of daily bug fixes☆13Updated this week
- A collection of user scripts that I made to make my experience on the web a little nicer☆17Updated last year
- 🕶️ Track your browsing history in incognito mode.☆26Updated 2 years ago
- List all the files in a GitHub repo’s directory☆58Updated 10 months ago
- An ES6 Map wrapper for the synchronous userscript storage API☆13Updated last month
- Browser extension, which allows you to navigate back by just hitting the mouse on the left or right side of your screen.☆20Updated last year
- An extension to assign a text track to a video element in a web page☆68Updated last year
- Extension for Google Chrome☆20Updated 2 years ago
- a simple yet powerful note-taking solution to replace my QuickFox project!☆27Updated 2 years ago
- A yeoman generator to create a userscript project rapidly☆130Updated 4 months ago
- Source code for Chrome/Firefox extension "Close Tab by Double Right Click"☆28Updated 8 months ago
- Torturing Firefox with userchrome.js and userchrome.css in response to Mozilla's successive degradation of the browser window.☆30Updated last week
- Super Bookmark Desktop - the new tab page + bookmark manager that acts like your computer desktop!☆55Updated 2 years ago
- UserCSS theme sharing site☆20Updated 4 years ago
- @kidonng's user scripts, styles & patches☆34Updated 2 weeks ago
- Button on Google to search only for Reddit posts☆99Updated 2 years ago
- Open source browser extension/addon to save all open tabs to a folder in the Bookmarks Toolbar☆38Updated 4 months ago