/ri-dr*/ n. m.
[interface graphique] rafraîchissement du contenu d'une fenêtre ou d'un formulaire, qui avait été caché par un autre widget. En français on peut dire aussi redessiner.
A B C D E F G
H I J K L M N O
P Q R S T U V
W X Y Z Divers