redessiner

Une définition du Jargon Français.
Aller à : Navigation, rechercher

verbe transitif.  [IHM]. L'une des façons dont un logiciel gérant une IHM dispose pour rafraîchir un widget qui avait été au moins partiellement caché par un autre : le dessiner comme s'il ne l'était pas déjà, à partir des variables le décrivant (taille, position, couleur ...).

Cette méthode sollicite le CPU ou le GPU et n'occupe guère de mémoire. Voir aussi algorithme du peintre.

L'autre méthode repose sur une restauration de la zone correspondante de la mémoire graphique, préservée en une sorte de snapshot partiel juste avant chaque action modifiant l'apparence de l'affichage. Cette méthode ménage les CPU et GPU (qui ne coûtent aujourd'hui guère) mais consomme de la précieuse mémoire, donc n'est plus guère utilisée.

Version anglaise redraw.

Voir aussi actualiser.