olivier29 a écritBonjour, je ne sais pas si cela a déjà été dit et si je suis au bon endroits, mais j'ai trouvé comment agrandir la taille de la police de caractère dans la console graphique, il suffit de taper "Ctrl +" pour agrandir et "Ctrl -" pour réduire.
ah tien merci je connaissais pas ... je douet que ça me soit réellement utile mais c'est toujours bon à savoir
par contre il n'y a plus de forum "truc et astuce" ? parce que bon
je dis pas qu'il a pas sa place ici ... juste que c'est une bonne astuce 😉