mikinw / StickySelection
IntelliJ Idea plugin with which you can permanently highlight any selection. Similar to the "style token" feature of Notepad++. I develop this plugin in my free time and I'm more motivated when I have a beer on desk: https://PayPal.Me/mnwDevelopment/ Thank you!
☆12Updated 3 years ago
Alternatives and similar repositories for StickySelection:
Users that are interested in StickySelection are comparing it to the libraries listed below
- Show GitHub commit message limits☆24Updated 5 years ago
- Glyph icons from the Bootstrap front-end framework as a Pencil stencil collection☆14Updated 9 years ago
- Add additional commands that uses (JavaScript) scripts for execution.☆17Updated 6 years ago
- UI for Lando (An automatic code lander for Mozilla)☆13Updated 6 months ago
- Small IntelliJ IDEA plugin, which can help you to create .scss files☆20Updated 5 years ago
- User Scripts☆10Updated last month
- Helper commands for working with sublime package assets/preferences. ST3 only.☆31Updated 4 years ago
- This is a zsh initialization file (e.g. /etc/zshrc or ~/.zshrc) which activates a lot of zsh features☆12Updated 2 years ago
- A repostory of samples, which demonstrates, how to use the 'Power Tools' extension for Visual Studio Code.☆21Updated 3 years ago
- ☆12Updated 8 years ago
- Gerrit plugin for ungit☆33Updated 10 years ago
- Chrome extension to archive opened tabs in a zip file☆13Updated 12 years ago
- Firefox Add-on SDK simple storage viewer and editor☆13Updated 9 years ago
- Chrome/Firefox extension that allows you to easily navigate through the changes in a file that has been edited on GitHub.☆21Updated 4 years ago
- Quickly replace an existing bookmark in Mozilla Firefox☆24Updated 7 years ago
- CSV toolbox CLI written in javascript☆11Updated 2 years ago
- CLI for reading, writing, and hash checking torrents☆12Updated last year
- Source for InjectCode Chrome Extention☆14Updated 9 years ago
- Disqus to GitHub Discussions migration script☆13Updated 4 months ago
- ☆9Updated last year
- Incremental UI improvements for github.com, in the form of useful user scripts (Google Chrome or Firefox + Greasemonkey), a Chrome and Op…☆40Updated 12 years ago
- JavaScript Terminal For Firefox☆173Updated 11 years ago
- Userscript that adds tweaks to GitHub.☆24Updated 5 years ago
- some dockerfiles to make local testing easier☆15Updated 6 years ago
- A Vagrant plugin that synchronises file changes on the host with a local copy on the guest virtual hard disk, to get around the problems …☆38Updated 3 years ago
- A ZSH plugin to allow easy named directory creation - shortcuts to any directory you want☆15Updated 7 years ago
- A curated list of awesome Mozilla projects, frameworks, libraries, software and resources.☆16Updated 3 years ago
- Google Chrome extension for Diaspora*☆14Updated 9 years ago
- A small zsh script for styling strings☆12Updated 7 years ago
- Pretty Git prompt for Bash☆18Updated 2 years ago