barre d'outils

Élements d'interface graphique

Widget réunissant toute une série d'icônes représentant des outils. Syn. barre d'icônes. Voir aussi barre, palette, palette flottante .

(01-10-2003).

Exporté avec Jargon Informatique version 1.3.6