Changer la taille des symboles

Sélecter le(s) symbole(s).

• Changer la taille des symboles avec les touches Alt+Gauche, Alt+Droite, Alt+Haut, Alt+Bas.
• Activer le panneau  (avec le bouton de souris ou Alt+M hotkey).
  Change la taille des symboles avec «Augmenter la taille», et «Diminuer la taille».