Réponses:
Vous pouvez augmenter le défilement en sélectionnant la catégorie Options de la fenêtre et en modifiant l’ option Lignes du défilement .
Commencez par charger la session, puis accédez à la catégorie Fenêtre dans le volet de gauche et modifiez l' option Lignes de défilement en 20000. Revenez à la catégorie Session et enregistrez-la.
Remarque: vous devez charger la session pour la sauvegarder!
Il est très simple de charger votre session requise et de modifier la valeur de défilement souhaitée de la fenêtre, puis de cliquer sur le bouton Enregistrer.
Je cherchais en fait à augmenter la mémoire tampon de défilement, mais lorsque vous démarrez une session à partir du terminal Windows. Pour cela, vous devez modifier les paramètres par défaut, comme suit :
Pour enregistrer vos paramètres par défaut: commencez par configurer les paramètres comme vous le souhaitez. Revenez ensuite au panneau Session. Sélectionnez l'entrée «Paramètres par défaut» dans la liste des sessions enregistrées, en un seul clic. Ensuite, appuyez sur le bouton «Enregistrer».