gnome-shell/js
Florian Müllner 74446ce3e0 [Places] Hide desktop icon when desktop_is_home_dir
With the above preference set to true, the home and desktop entries
both represent the same location. Hide the desktop icon in that case
to avoid redundancy.

https://bugzilla.gnome.org/show_bug.cgi?id=606922
2010-01-20 23:36:14 +01:00
..
misc Add search.js, rebase search system on top 2009-12-18 10:07:22 -05:00
ui [Places] Hide desktop icon when desktop_is_home_dir 2010-01-20 23:36:14 +01:00
Makefile.am Split appDisplay and docDisplay into "model" and "view" parts 2009-06-16 18:50:42 -04:00