MicahCarrick / gedit-restore-tabsLinks
Restore documents that were left open between sessions.
☆21Updated 7 years ago
Alternatives and similar repositories for gedit-restore-tabs
Users that are interested in gedit-restore-tabs are comparing it to the libraries listed below
Sorting:
- A source code class and function browser plugin for Gedit 3.☆98Updated 9 months ago
- Gnome shell extension☆14Updated 12 years ago
- An extension for displaying weather notifications in GNOME Shell.☆146Updated 7 years ago
- A plugin for Gedit 3 that allows you to save and organize your favorite documents for quick access.☆13Updated 14 years ago
- Desktop Suite for Xfce☆66Updated 6 years ago
- a simple *nix clipboard manager with application-indicator support☆45Updated 6 years ago
- A gedit/Pluma/xed plugin to switch between document tabs using Ctrl+Tab and other common keyboard shortcuts☆95Updated 4 months ago
- ☆114Updated 13 years ago
- Pentadactyl for Pale Moon | New official repo is here https://github.com/pentadactyl/pentadactyl☆25Updated 6 years ago
- Adjust the brightness level of your display by using the internal/external webcam of your notebook as an ambient light sensor☆15Updated 6 years ago
- kupfer, smart, quick launcher. `master' is kupfer's release branch.☆379Updated 3 months ago
- Solarized colors for KDE 4's Konsole☆109Updated 10 years ago
- Restore documents that were left open between sessions.☆44Updated 9 months ago
- DISCONTINUED☆25Updated 11 years ago
- MATE Desktop Environment, a non-intuitive and unattractive desktop for users, using traditional computing desktop metaphor. Also known as…☆124Updated 6 years ago
- ☆253Updated 9 months ago
- An extensible mail notification daemon☆260Updated last year
- GNOME Tweak Tool - Customize GNOME3 and GNOME Shell Settings☆31Updated 11 years ago
- Modern graphical system monitor for any panel☆150Updated last year
- Color themes for Gnome's default editor Gedit☆407Updated last year
- A simple color chooser written in GTK3 (like gcolor2) -- moved to GNOME GitLab☆114Updated last year
- ☆178Updated 3 weeks ago
- A git repo of the development series of EasyTag (as there was no official SCM). Since then the project has moved and is hosted at Gnome i…☆29Updated 12 years ago
- gtk frontend for lossless cropping of jpeg images☆87Updated 10 months ago
- A pie menu launcher for linux. Read the release announcement of version 0.7.2 at https://schneegans.github.io/news/2018/10/30/gnome-pie-0…☆316Updated 3 years ago
- Simple dircolors database☆25Updated 11 years ago
- Lightweight console-based radio player for Last.FM radio streams.☆229Updated 4 years ago
- Enables zooming of the gnome shell using alt and mousewheel☆64Updated 4 years ago
- It's All Text! - Edit textareas in your browser with your favorite editor!☆198Updated 4 years ago
- Integrate GMail into the Linux Desktop☆53Updated 2 years ago