Logo
Explore Help
Sign In
brl/gnome-shell
1
0
Fork 0
You've already forked gnome-shell
Code Issues Pull Requests Packages Projects Releases Wiki Activity
gnome-shell/data
History
Rui Matos 3f61f39ae3 dash: Adjust placeholder size to icon size
The placeholder looks odd near small icons and causes the dash to get wider
when visible and narrower when hidden.

https://bugzilla.gnome.org/show_bug.cgi?id=659210
2011-09-20 21:01:25 +01:00
..
search_providers
add ability to search in web from search view
2011-01-18 00:41:59 +03:00
shaders
windowManager: shade the actor, not the texture
2011-09-20 14:56:25 -04:00
theme
dash: Adjust placeholder size to icon size
2011-09-20 21:01:25 +01:00
gnome-shell.desktop.in.in
gnome-shell.desktop: Set autorestart flag
2011-03-21 15:57:49 -04:00
gnome-shell.schemas
Enable the workspaces_only_on_primary feature of mutter
2011-03-17 14:13:55 +01:00
Makefile.am
Add support for gdm greeter session
2011-08-29 14:11:36 -04:00
org.gnome.shell.gschema.xml.in
keyboard: switch to using the correct gsettings key for enable/disable
2011-09-19 07:34:02 -04:00
Powered by Gitea Version: 1.23.7 Page: 53ms Template: 2ms
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 API