This website requires JavaScript.
Explore
Help
Register
Sign In
brl
/
gnome-shell
Watch
1
Star
0
Fork
0
You've already forked gnome-shell
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
gnome-shell
/
js
History
Marco Trevisan (Treviño)
271e43a1ed
keyboard: Remove unused _hideSubkeys function
...
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/540
2019-05-09 16:11:26 -05:00
..
extensionPrefs
extensionPrefs: Fix pref button appearance
2019-04-12 00:51:44 +02:00
gdm
popupMenu: Make MenuManager to take an actor as parameter
2019-04-17 21:32:18 +00:00
misc
boxpointer: Don't use boxpointer actor, as it's now an actor itself
2019-04-17 21:32:18 +00:00
perf
…
portalHelper
…
ui
keyboard: Remove unused _hideSubkeys function
2019-05-09 16:11:26 -05:00
js-resources.gresource.xml
…
meson.build
…
portal-resources.gresource.xml
…
prefs-resources.gresource.xml
…