绿色圣光's repositories
faenza-icon-theme
Faenza icons designed and developed by Matthieu James <matthieu.james@gmail.com>.
codelite
CodeLite, a cross platform C/C++/PHP and Node.js IDE written in C++
dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
EasyScreenCast
This extension simplifies the use of the video recording function integrated in gnome shell, allows quickly to change the various settings of the desktop recording.
faenza-newvanilla-icon-theme
A more complete vanilla Faenza experience !
foxy-droid
Yet another F-Droid client
gnome-shell-extension-caffeine
Disable screensaver and auto suspend
gnome-shell-extension-clipboard-indicator
Clipboard Manager extension for Gnome-Shell - Adds a clipboard indicator to the top panel, and saves clipboard history.
gnome-shell-extension-openweather
A simple extension for displaying weather informations from several cities in GNOME Shell
gnome-shell-extension-panel-osd
Place gnome-shell notifications under the panel instead of above the message-tray.
gnome-shell-extension-suspend-button
GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12
gnome-shell-extension-taskbar
GNOME Shell Extension TaskBar Version 52 for GNOME 3.10 - 3.20
gnome-shell-extension-wbe
Apply effects to windows being in background
gnome-shell-extensions-mediaplayer
A mediaplayer indicator for the gnome-shell.
gs-extensions-drop-down-terminal
Drop Down Terminal extension for the Gnome Shell
gse-disconnect-wifi
Gnome Shell Extension - Disconnect Wifi
hidetopbar
Gnome 3 extension to hide the top bar except in overview mode
iptux
A software for sharing in LAN
kimpanel-for-gnome-shell
KDE kimpanel protocol for gnome shell
msys2-mingw-shortcut-menus
Configuration files needed to set up right-click shortcut in context menus for MSYS2, MinGW32/64 bash
ShutdownTimer
gnome-shell-extension
supertux
SuperTux source code
topicons
A GNOME shell extension to show legacy tray icons in the top bar.
webmusic
A web based music player that integrates your favourite music service into the desktop.