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>

; URL vers laquelle le logo de Vigilo redirige.

logo_link = /

; Définition des différentes tailles possibles pour la police

; de caractères. Les tailles indiquées ici doivent utiliser

; l'une des syntaxes disponibles dans CSS 2.1.

; Cf. http://www.w3.org/TR/CSS21/fonts.html#font-size-props

; Les valeurs par défaut sont :

; - "5px" pour fontsize.small

; - "10px" pour fontsize.medium

; - "25px" pour fontsize.large

; De plus, la valeur de l'option "fontsize.medium" correspondra

; à la taille par défaut lorsque l'utilisateur se connecte à VigiBoard.

fontsize.small = 5px

fontsize.medium = 10px

fontsize.large = 25px

; Ordre de tri pour la priorité des événements.

; - Utiliser "asc" si la priorité est inversement proportionnelle à sa

;   valeur (ie: plus le nombre est bas, plus la priorité est élevée).

Also available in: Unified diff