Florian Müllner
0fb146ed37
appFavorites: Only use renamed ID if it can be resolved
...
We currently assume that if a .desktop file has been renamed (that
is, it is in our rename list), the updated ID will be used. That
assumption was mostly sound when the list contained only GNOME apps
following the same release cycle as gnome-shell, but as applications
with less ties to the GNOME schedule adopt the reverse DNS notation,
it becomes more likely for apps to appear in the list before actually
being updated on the system. Handle this case by only renaming IDs
for which the replacement can be resolved to an existing application.
https://bugzilla.gnome.org/show_bug.cgi?id=745626
2017-02-16 17:48:51 +01:00
..
2016-11-10 14:42:22 +01:00
2016-12-27 12:15:28 -06:00
2016-07-20 17:14:12 +02:00
2017-02-02 14:28:28 +01:00
2016-11-28 11:58:48 +01:00
2016-05-27 01:03:25 +02:00
2017-02-16 17:48:51 +01:00
2016-02-16 17:02:00 +01:00
2016-06-29 13:27:10 +02:00
2015-04-14 23:18:49 +02:00
2014-01-15 18:28:31 +01:00
2016-07-08 16:11:43 +02:00
2013-08-20 08:06:30 +02:00
2015-03-13 17:12:10 +01:00
2016-02-12 12:12:02 +01:00
2016-02-17 14:56:52 +01:00
2016-04-27 18:22:00 +02:00
2014-12-19 11:39:50 +01:00
2016-06-30 11:42:11 +02:00
2015-05-05 16:37:41 +02:00
2015-03-10 19:16:28 +01:00
2015-12-16 23:50:42 +01:00
2014-06-20 14:32:55 +02:00
2014-08-28 19:49:51 +02:00
2016-02-17 18:01:02 +01:00
2014-10-09 12:47:16 +02:00
2016-08-10 11:23:58 +02:00
2016-07-05 17:47:44 +02:00
2016-03-03 17:09:47 +01:00
2014-07-24 16:51:02 +02:00
2015-02-14 18:20:28 +01:00
2015-07-27 18:04:44 +02:00
2013-10-25 08:57:27 +11:00
2016-07-20 17:14:12 +02:00
2016-02-22 19:33:17 +01:00
2015-06-11 14:41:34 +02:00
2016-04-14 11:10:51 +02:00
2016-02-17 15:15:16 +01:00
2016-12-12 15:54:37 +01:00
2015-06-29 14:57:03 -07:00
2016-10-10 17:25:48 -07:00
2017-02-02 14:28:28 +01:00
2016-06-27 16:31:00 +02:00
2015-10-23 13:44:27 +02:00
2015-04-30 18:12:52 +02:00
2014-04-10 21:08:16 +02:00
2016-11-07 14:02:22 -05:00
2013-08-13 06:50:25 -04:00
2015-03-27 13:11:22 -07:00
2016-11-18 00:00:15 +01:00
2015-02-17 08:35:24 +01:00
2016-11-03 21:16:46 +01:00
2015-03-14 16:04:23 -07:00
2014-07-16 10:33:59 -04:00
2015-03-27 13:11:22 -07:00
2013-01-08 13:07:51 -05:00
2014-06-09 22:39:15 +02:00
2015-02-05 13:34:52 +01:00
2014-09-05 14:37:18 -07:00
2015-03-10 19:16:28 +01:00
2016-01-27 22:35:11 +00:00
2014-11-27 13:30:20 +00:00
2014-08-19 19:46:44 +02:00
2014-12-19 11:39:50 +01:00
2015-03-06 17:24:13 +01:00
2016-02-12 12:12:02 +01:00
2015-07-01 19:14:13 +02:00
2016-09-18 11:00:54 +02:00
2015-10-20 15:00:33 +02:00
2017-02-02 14:28:28 +01:00
2016-06-27 16:31:00 +02:00
2016-09-08 19:29:50 +02:00
2016-04-21 16:04:04 +02:00
2013-12-16 12:48:53 -05:00