diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2020-08-22 18:06:12 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2020-08-22 18:06:12 (GMT) |
commit | 8f1d6f2e36c57e74d0b0a32bb217da9b44918834 (patch) | |
tree | 30ffc03aae6d3240d614d6bcb214070bead42fb7 /src/glibext/buffercache.h | |
parent | 9dca3fdb21e3086363038926d4f49e1300b4130d (diff) |
Refreshed the display faster.
Diffstat (limited to 'src/glibext/buffercache.h')
-rw-r--r-- | src/glibext/buffercache.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/glibext/buffercache.h b/src/glibext/buffercache.h index 7422c76..f0f54b0 100644 --- a/src/glibext/buffercache.h +++ b/src/glibext/buffercache.h @@ -108,6 +108,9 @@ BufferLineFlags g_buffer_cache_get_line_flags(const GBufferCache *, size_t); /* Retire une propriété particulière attachée à une ligne. */ void g_buffer_cache_remove_line_flag(GBufferCache *, size_t, BufferLineFlags); +/* Force la mise à jour du contenu d'une ligne donnée. */ +void g_buffer_cache_refresh_line(GBufferCache *, size_t); + #define g_buffer_cache_lock(c) #define g_buffer_cache_unlock(c) |