Revision de6c9a55
Choix des tailles de police dans VigiBoard (#1107)
Ajoute 3 nouvelles options dans VigiBoard afin de permettre la
personnalisation de la taille des polices, correspondant aux 3 boutons
dans l'interface.
Les nouvelles options sont :
- fontsize.small
- fontsize.medium
- fontsize.large
Ce changement supprime également l'option "vigiboard_font.size" du
fichier de configuration. La valeur de l'option était de toute façon
ignorée par le code.
NB : la valeur de l'option "fontsize.medium" sera utilisée comme valeur
par défaut lors de la connexion de l'utilisateur.
Change-Id: I3e10f68377da3e0d9ffeffaff3e9e787e24b15cd
Refs: #1107.
Reviewed-on: https://vigilo-dev.si.c-s.fr/review/1010
Tested-by: Build system <qa@vigilo-dev.si.c-s.fr>
Reviewed-by: Thomas BURGUIERE <thomas.burguiere@c-s.fr>
Reviewed-by: Francois POIROTTE <francois.poirotte@c-s.fr>
Files
- added
- modified
- copied
- renamed
- deleted