gnome-shell/js
Kalev Lember cceac0d8fb appFavorites: Automatically update desktop file names in user settings
This adds a table with mappings for GNOME apps that have recently
renamed their desktop files, and uses that to update the desktop names
saved in user settings with the new values.

https://bugzilla.gnome.org/show_bug.cgi?id=729429
2014-07-22 14:18:06 +02:00
..
extensionPrefs extensionPrefs: Respect 'disable-extension-version-validation' setting 2014-07-18 10:47:02 +02:00
gdm js: Adapt to GSettings API change 2014-06-24 15:17:09 -04:00
misc util: Don't pass too many arguments to child_watch_add 2014-04-28 10:22:51 -04:00
perf hwtest.js: Don't parse JSON with regexps 2014-07-16 13:22:13 -04:00
portalHelper portalHelper: fix typo 2014-06-26 20:10:18 +02:00
ui appFavorites: Automatically update desktop file names in user settings 2014-07-22 14:18:06 +02:00
js-resources.gresource.xml Add a new hwtest script 2014-07-16 10:37:48 -04:00
Makefile.am js/Makefile.am: Fix dependency generation with srcdir != builddir 2014-06-29 18:27:53 -04:00