-
Jehan authored
Since we have many themes now, this new name better indicates that it is meant to follow your desktop theme settings. Also it will likely not remain the default theme.
0f67e21c
Since we have many themes now, this new name better indicates that it is meant to follow your desktop theme settings. Also it will likely not remain the default theme.