Changes: Document new welcome-theming

This commit is contained in:
Adriaan de Groot 2019-05-31 17:28:33 +02:00
parent 4c6218f005
commit 8506949ecd

View File

@ -22,6 +22,8 @@ milestone for details.
*productLogo* and *productIcon* keys. If a file is named there, then *productLogo* and *productIcon* keys. If a file is named there, then
the file is used, and otherwise the icon is looked up in the current the file is used, and otherwise the icon is looked up in the current
theme. theme.
- *welcome* allows a custom image path or icon name to be set for the
language-selection drop-down (instead of the international standard one).
# 3.2.8 (2019-05-10) # # 3.2.8 (2019-05-10) #