Jonas Jenwald 39251c5789 Re-order the names of the new pageColors options/preferences (PR 14874 follow-up)
Given that the new API-option is an Object named `pageColors`, with `background`/`foreground` keys, it occurred to me that it'd be slightly more consistent if the options/preferences names fully reflected that.
2022-05-08 11:15:04 +02:00
..
2016-07-10 17:49:16 +08:00
2016-07-10 17:49:16 +08:00
2016-07-10 17:49:16 +08:00
2016-07-10 17:49:16 +08:00
2018-01-26 15:54:35 +01:00
2020-04-14 12:28:14 +02:00