bndn / gedit-sessionsaverLinks
The gedit session saver plugin for GNOME 3.0-3.8
☆14Updated 7 years ago
Alternatives and similar repositories for gedit-sessionsaver
Users that are interested in gedit-sessionsaver are comparing it to the libraries listed below
Sorting:
- ObKey - Openbox Key Editor☆69Updated 6 years ago
- No longer maintained. extension for gnome-shell☆16Updated 9 years ago
- This enables bing wallpaper on linux, specifically debian based distros.☆75Updated 2 years ago
- ClipIt clipboard manager for GTK+☆674Updated 8 months ago
- A set of extensions for Nemo☆437Updated last month
- The new home of rabbitvcs☆383Updated 6 months ago
- Network speed indicator for Unity, inspired by the old netspeed GNOME applet☆84Updated 7 years ago
- Various installation & administration scripts for Ubuntu workstation☆187Updated 2 months ago
- A simple extension for displaying weather informations from several cities in GNOME Shell☆137Updated 3 years ago
- AppIndicator for KDE Connect☆118Updated 9 years ago
- GUI for managing Conky widgets☆195Updated last year
- PlayOnLinux 4 repository☆472Updated 6 months ago
- Screenshot and screencasting tools for Cinnamon.☆40Updated 6 years ago
- Apply effects to windows being in background☆36Updated 2 years ago
- Whenever there is an unread notification (e.g. chat messages), blinks the message in the user's menu with a color chosen by the user.☆56Updated 3 months ago
- A mediaplayer indicator for GNOME Shell 3.18+.☆375Updated 6 years ago
- A Weather Indicator for Linux Desktop (Plasma, GNOME, MATE, XFCE,...)☆111Updated 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…☆315Updated 3 years ago
- Desktop Suite for Xfce☆429Updated 7 months ago
- A general php utility for browser detection. Very robust and heavily tested in production environments. Not heavy weight like other php b…☆87Updated last year
- This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various setting…☆407Updated 3 months ago
- Bash script that prevents the screensaver and display power # management (DPMS) to be activated when you are watching Flash Videos fullsc…☆193Updated 6 years ago
- Gnome shell extension: Shows CPU temperature, HDD temperature, voltage and fan RPM☆168Updated last year
- Sound input/output selector indicator for Linux☆389Updated 10 months ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/nautilus☆369Updated this week
- A graphical user interface for touchégg☆162Updated 4 years ago
- ☆75Updated 8 years ago
- Improve focus and increase your productivity by listening to different sounds right from GNOME Shell.☆84Updated last year
- GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intu…☆119Updated 4 years ago
- Extensions for the Cinnamon desktop☆132Updated last week