This website requires JavaScript.
Explore
Help
Sign in
edu4rdshl
/
gnome-shell
Watch
1
Star
0
Fork
You've already forked gnome-shell
0
mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced
2026-07-18 07:34:54 +00:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
393577ee78
gnome-shell
/
js
History
Download ZIP
Download TAR.GZ
Jasper St. Pierre
393577ee78
grabHelper: Remove explicitly having to select modal
...
https://bugzilla.gnome.org/show_bug.cgi?id=700735
2013-07-08 16:51:51 -04:00
..
extensionPrefs
extensionPrefs: Fix opening extension preferences on startup
2013-02-28 15:37:29 +01:00
gdm
loginDialog: make spinner and session menu button share position
2013-06-26 15:20:10 -04:00
misc
Hash: make .size() constant time
2013-05-12 21:06:34 +02:00
perf
perf: Update to latest overlay changes
2012-08-20 20:40:01 +02:00
ui
grabHelper: Remove explicitly having to select modal
2013-07-08 16:51:51 -04:00
Makefile.am
ui: move AnimatedIcon out of panel.js
2013-06-25 15:16:42 -04:00