diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-02-20 23:02:44 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-02-20 23:02:44 (GMT) |
commit | 0769fafb253b846b58cd97c4a1df98ca7417ae1c (patch) | |
tree | c6b397d82740a26059c02b56d7b3182e5fe08927 /src/gui/panels/updating.h | |
parent | 738daf23eec2c114d456d13e88c51029f891fbc2 (diff) |
Replaced the old symbol panel by a new improved one.
Diffstat (limited to 'src/gui/panels/updating.h')
-rw-r--r-- | src/gui/panels/updating.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui/panels/updating.h b/src/gui/panels/updating.h index 4edf498..b02f1af 100644 --- a/src/gui/panels/updating.h +++ b/src/gui/panels/updating.h @@ -67,6 +67,9 @@ void g_updatable_panel_process(const GUpdatablePanel *, unsigned int, GtkStatusS /* Bascule l'affichage d'un panneau après mise à jour. */ void g_updatable_panel_conclude(GUpdatablePanel *, unsigned int, void *); +/* Supprime les données dynamiques utilisées à la mise à jour. */ +void g_updatable_panel_clean_data(GUpdatablePanel *, unsigned int, void *); + /* ---------------------------- AIDE POUR LA MISE A JOUR ---------------------------- */ |