mchelem / terminator-editor-plugin
Terminator plugin to open files specified by a given regex in an editor
☆74Updated 2 years ago
Alternatives and similar repositories for terminator-editor-plugin:
Users that are interested in terminator-editor-plugin are comparing it to the libraries listed below
- Terminator plugins☆25Updated 9 years ago
- Terminator terminal plugins☆53Updated 5 years ago
- Gnome Shell Extension that allows to start and stop systemd services☆79Updated 4 years ago
- GNOME Shell extension. Search the web directly from Gnome Shell.☆39Updated 4 years ago
- See people with their timezones from the Shell☆125Updated last year
- Ansible module for setting GSettings entries☆47Updated 10 months ago
- Enables zooming of the gnome shell using alt and mousewheel☆65Updated 4 years ago
- An gnome-shell extension that makes window movement a lot easier.☆288Updated 2 months ago
- gnome shell extension that tiles windows as you like.☆203Updated 7 years ago
- Unity-like shortcuts for gnome dock applications☆53Updated 3 years ago
- A set of plugins for terminator.☆57Updated 8 years ago
- A gnome shell extension that transforms the workspaces into an intellihide dock☆262Updated last year
- GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12☆85Updated 4 years ago
- Gnome shell extension "Random Walls" for gnome 3☆45Updated 2 years ago
- Gnome Email Notifications☆85Updated last year
- AppIndicator for KDE Connect☆372Updated 4 years ago
- Automatically exported from code.google.com/p/key-mon☆97Updated 10 years ago
- Some plugins for terminator☆45Updated 5 years ago
- Gnome-shell extension disabling hotcorners☆90Updated 3 years ago
- Personal scripts☆38Updated 4 months ago
- gnome shell extension to enable/disable extension easily via a panel menu☆39Updated 3 years ago
- Easily manage integration branches in Git☆33Updated 4 years ago
- Gnome Shell Extensions etc...☆66Updated 3 years ago
- An extensible and highly configurable alternative to redshift☆87Updated 6 months ago
- Sound input/output selector indicator for Linux☆385Updated 8 months ago
- Application Menu Editor for GNOME☆32Updated 6 years ago
- Save pidgin passwords to the system keyring instead of as plaintext☆35Updated 3 years ago
- Gnome Shell Extension "Keep Awake"☆35Updated last month
- GNOME Shell Extension allowing separate configuration of PulseAudio devices☆136Updated last year
- ☆36Updated last month