Sync docs after uifont addition, etc.

docs/fr_FR.UTF-8/OPTIONS.txt

@@ -837,6 +837,16 @@ Langues
            "alllocalefonts=no" or "currentlocalefont=yes". In both cases, may
            be overridden by the command-line option "--currentlocalefont".
 
+   uifont=FONT NAME
+
+           Cette option oblige Tux Paint à essayer de charger des polices (à
+           utiliser dans l'outil Texte ) à partir de votre système
+           d'exploitation. Normalement, Tux Paint ne chargera que ceux
+           fournis avec Tux Paint.
+
+           Specify "default" to let Tux Paint use its default font, "DejaVu
+           Sans" (its standard behavior).
+
 Impression
 
   Permissions pour l'impression
@@ -1516,8 +1526,10 @@ Joystick
      --nostampcontrols
      --nostamprotation
      --nomagiccontrols
+     --nomagicsizes
      --noshapecontrols
      --nolabel
+     --nobrushspacing
      --newcolorslast
      --mouse-accessibility
      --onscreen-keyboard
@@ -1547,6 +1559,7 @@ Joystick
      --joystick-btn-print
      --joystick-buttons-ignore
      --sysfonts
+     --uifont=FONT NAME
      --alllocalefonts
      --mirrorstamps
      --stampsize=SIZE
@@ -1591,11 +1604,14 @@ Joystick
      --stampcontrols
      --stamprotation
      --magiccontrols
+     --magicsizes
      --shapecontrols
      --label
+     --brushspacing
      --newcolorsfirst
      --nosysfonts
      --currentlocalefont
+     --uifont=default
      --dontmirrorstamps
      --stampsize=default
      --mouse

docs/fr_FR.UTF-8/README.txt

@@ -107,7 +107,14 @@ What's New in Tux Paint version 0.9.31?
 
    Create templates from Open dialog
            Saved drawings can be turned into templates (used to make new
-           drawings) via a new option in the Open dialog
+           drawings) via a new option in the Open dialog. (This feature may
+           be deactivated using the "notemplateexport" simplification
+           option.)
+
+   User interface font may be overridden
+           The font used for the user interface (button labels, dialog
+           pop-ups, and instructions) can be overridden from its default
+           ("DejaVu Sans"). (See the "uifont" configuration option.)
 
    See CHANGES.txt for the complete list of changes.
 

docs/fr_FR.UTF-8/html/OPTIONS.html

@@ -1420,7 +1420,7 @@
 
 <section>
   <header>
-    <h3>Polices</h3>
+    <h3 id="fonts">Polices</h3>
   </header>
 
   <dl>
@@ -1448,6 +1448,18 @@
       <p class="note">
         <span title="Configuration option">&#9881;</span>        <strong>Note:</strong> If used in a system-wide configuration file, may be overridden by the user's configuration file using "<code>alllocalefonts=no</code>" or "<code>currentlocalefont=yes</code>". In both cases, may be overridden by the command-line option "<code>--currentlocalefont</code>".      </p>
     </dd>
+
+    <dt>
+      <code><b>uifont=FONT NAME</b></code>
+    </dt>
+
+    <dd>
+      <p>
+        Cette option oblige Tux Paint à essayer de charger des polices (à utiliser dans l'outil Texte ) à partir de votre système d'exploitation. Normalement, Tux Paint ne chargera que ceux fournis avec Tux Paint.      </p>
+
+      <p>
+        Specify "<code>default</code>" to let Tux Paint use its default font, "DejaVu Sans" (its standard behavior).      </p>
+    </dd>
   </dl>
 </section>
   </section>
@@ -2365,8 +2377,10 @@
           --nostampcontrols<br>
           --nostamprotation<br>
           --nomagiccontrols<br>
+          --nomagicsizes<br>
           --noshapecontrols<br>
           --nolabel<br>
+          --nobrushspacing<br>
           --newcolorslast<br>
           --mouse-accessibility<br>
           --onscreen-keyboard<br>
@@ -2396,6 +2410,7 @@
           --joystick-btn-print<br>
           --joystick-buttons-ignore<br>
           --sysfonts<br>
+          --uifont=<i>FONT NAME</i><br>
           --alllocalefonts<br>
           --mirrorstamps<br>
           --stampsize=<i>SIZE</i><br>
@@ -2444,11 +2459,14 @@
           --stampcontrols<br>
           --stamprotation<br>
           --magiccontrols<br>
+          --magicsizes<br>
           --shapecontrols<br>
           --label<br>
+          --brushspacing<br>
           --newcolorsfirst<br>
           --nosysfonts<br>
           --currentlocalefont<br>
+          --uifont=default<br>
           --dontmirrorstamps<br>
           --stampsize=default<br>
           --mouse<br>

docs/fr_FR.UTF-8/html/README.html

@@ -226,7 +226,10 @@
   <dd>Loops, Ribbon, Smooth, and Squiggles</dd>
 
   <dt>Create templates from Open dialog</dt>
-  <dd>Saved drawings can be turned into templates (used to make new drawings) via a new option in the Open dialog</dd>
+  <dd>Saved drawings can be turned into templates (used to make new drawings) via a new option in the Open dialog. (This feature may be deactivated using the <a href="OPTIONS.html#simplification">"<code>notemplateexport</code>" simplification option</a>.)</dd>
+
+  <dt>User interface font may be overridden</dt>
+  <dd>The font used for the user interface (button labels, dialog pop-ups, and instructions) can be overridden from its default ("DejaVu Sans"). (See the <a href="OPTIONS.html#fonts">"<code>uifont</code>" configuration option</a>.)</dd>
 </dl>
 
     <p>