Logo
Explore Help
Sign In
VesperOS/gnome-shell-extensions
6
0
Fork 0
You've already forked gnome-shell-extensions
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
6a9c4e71fcfe6a2777835ad42224ef4cbbe761d1
gnome-shell-extensions/extensions
History
Florian Müllner 6a9c4e71fc example: Tweak prefs UI
Position the explanatory text below the actual option and tweak
whitespace a bit.

https://bugzilla.gnome.org/show_bug.cgi?id=730843
2014-05-28 01:27:37 +02:00
..
alternate-tab
alternate-tab: Tweak pref widget a bit
2014-05-28 01:14:42 +02:00
apps-menu
apps-menu: Fix for gnome-shell master
2013-11-08 16:26:17 +00:00
auto-move-windows
auto-move: Tweak prefs UI
2014-05-28 01:14:42 +02:00
drive-menu
drive-menu: fix interesting check
2014-02-05 01:00:35 +01:00
example
example: Tweak prefs UI
2014-05-28 01:27:37 +02:00
launch-new-instance
launch-new-instances: Drop obsolete signals and callbacks
2014-04-29 01:09:38 +02:00
native-window-placement
Fix a number of undeclared variable warnings
2013-07-30 13:23:47 +02:00
places-menu
places-menu: fix for gnome-shell changes
2014-02-05 17:27:36 +01:00
systemMonitor
systemMonitor: update for gnome-shell master
2013-09-17 10:51:34 +02:00
user-theme
user-theme: look for gnome-shell themes in ~/.local/share too
2013-07-14 15:19:14 +02:00
window-list
window-list: Use Infinity instead of special-casing 0
2014-05-27 19:27:43 +02:00
windowsNavigator
windowsNavigator: update for gnome-shell changes
2013-09-03 10:36:31 +02:00
workspace-indicator
workspace-indicator: Tweak prefs UI
2014-05-28 01:14:42 +02:00
Makefile.am
New extension: Removable Drive Menu
2011-04-26 01:21:53 +02:00
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses