9.3 Panneau (Alg\fr\Gmp)  

Fig. 9.3 Le panneau Alg\fr\Gmp (librairie multiprécision).

9.3.1 Description des boutons 

1.   GMP  : aucune action effectuée (GMP est une librairie).
2.   << Doc>>  : marqueur du groupe de boutons << Documentation>>. Ce bouton n'exécute aucune action, il sert juste de séparateur visuel entre les groupes de boutons.
3.   Site web  : affiche le site de Gmp dans le navigateur web par défaut.
4.   Loc web  : affiche une copie locale du site de Gmp dans le navigateur web par défaut.