Files
Florian Müllner a01b44f7de data: Replace override schema with per-desktop override
GSettings now recognizes per-desktop overrides that can be used
to change schemas' default values for classic mode, so use that
instead of the separate override schema we currently use with
mutter's custom override mechanism.

https://bugzilla.gnome.org/show_bug.cgi?id=786496
2018-07-09 19:18:54 +02:00
..
2013-09-27 16:18:55 +02:00
2015-01-22 19:28:03 +01:00
2017-07-02 06:12:51 +02:00
2016-07-21 02:52:15 +02:00
2017-09-01 14:56:50 +00:00
2017-09-10 18:03:23 +03:00
2016-07-21 02:52:15 +02:00
2015-03-13 15:50:06 +00:00
2017-08-30 19:23:31 +02:00
2017-07-10 16:50:19 +02:00
2017-09-10 18:10:56 +02:00
2017-07-07 19:43:32 +00:00
2017-09-25 13:48:39 +00:00
2018-03-10 18:05:48 +00:00
2015-02-01 16:16:50 +01:00
2018-02-24 00:20:16 +01:00
2015-04-08 20:25:23 +03:00
2017-09-09 17:19:41 +02:00
2017-09-22 18:40:54 +00:00
2017-08-29 09:36:28 +00:00
2017-08-19 16:41:37 +00:00
2017-07-06 22:56:30 +00:00
2018-02-26 12:54:09 +00:00
2017-08-07 13:04:57 +00:00
2016-08-03 12:13:56 +00:00
2015-01-26 21:10:42 +02:00
2014-09-21 05:30:10 +00:00
2017-07-25 18:10:23 +00:00
2017-08-04 13:29:12 +00:00
2017-07-10 09:28:36 +00:00
2017-09-08 06:08:48 +00:00
2017-08-26 15:40:48 +00:00
2015-03-30 21:56:01 +09:00
2017-07-27 12:11:15 +00:00
2014-04-10 01:08:00 +00:00
2014-09-17 12:52:52 +00:00
2017-09-02 03:55:18 +00:00
2017-04-11 13:24:54 +00:00
2017-07-10 23:18:40 +03:00
2017-08-28 10:27:11 +03:00
2017-08-26 13:54:45 +00:00
2014-09-16 06:45:37 +00:00
2017-11-06 13:41:21 +01:00
2014-09-14 17:53:38 +00:00
2017-09-01 10:37:25 +02:00
2016-05-30 18:46:05 +00:00
2014-08-26 06:47:44 +00:00
2018-03-10 15:37:59 +00:00
2017-08-11 03:36:02 +02:00
2015-06-29 22:27:02 +00:00
2018-03-03 13:06:18 +00:00
2017-09-20 08:40:39 +00:00
2017-07-13 14:46:17 +00:00
2017-10-20 16:57:37 +02:00
2017-08-14 21:27:38 +02:00
2017-08-14 21:27:38 +02:00
2017-10-02 18:50:24 +00:00
2014-09-15 06:56:42 +00:00
2014-09-09 16:27:00 +05:30
2015-03-10 06:26:55 +00:00
2013-11-01 20:35:40 +07:00
2017-08-13 11:38:56 +00:00
2017-02-20 13:56:22 +02:00
2017-09-04 14:36:52 +07:00
2018-03-21 19:21:17 +08:00
2016-07-21 02:52:15 +02:00
2017-08-27 05:38:40 +00:00