Pour commencer
Pour paramètrer la fenêtre historique, il suffit de choisir l'option "paramètre historique" du menu "Util". A ce moment, une fenêtre comme celle-ci doit s'ouvrir :
Vous pouvez aussi double-cliquer sur la fenêtre : cela aura le même effet.
Les paramètres
Ce formulaire vous permet de choisir la fonte et la taille de caractère à utiliser pour cette fenêtre. Vous pouvez également y ajouter un attribut graphique (gras, italique).
Le buffer
Le nombre d'opérations que peut contenir cette fenêtre est limité. Seules les dernières opérations effectuées sont gardées en mémoire. Ce nombre d'opérations est paramètrable dans le formulaire "préférences/initialisation" :