Astuce : doubler vos flèches de défilement
Par Arnaud Morel - Publié le
Un petit tour par le terminal
On peut revenir à la situation antérieure, ensuite, simplement en allant des les préférences système Apparence et en changeant le réglage "placer les flèches de défilement".
Source