[meld/ui-next] chunkmap: Always queue a draw when new chunks are set



commit 4fa43bac6220bc3fecd952290699ee060bc1c3e3
Author: Kai Willadsen <kai willadsen gmail com>
Date:   Sat Apr 13 07:33:34 2019 +1000

    chunkmap: Always queue a draw when new chunks are set
    
    This is unfortunate, but otherwise it's difficult to figure out how to
    handle invalidation where our `GtkAdjustment`s don't change.
    
    Without this patch, the easy scenario to see this break is to open a
    file comparison and add a character to a line that's currently not
    marked as different, and note that the `ChunkMap` doesn't update to
    show this line as different.

 meld/chunkmap.py | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/meld/chunkmap.py b/meld/chunkmap.py
index 95a19207..8cee564c 100644
--- a/meld/chunkmap.py
+++ b/meld/chunkmap.py
@@ -64,6 +64,7 @@ class ChunkMap(Gtk.DrawingArea):
     def chunks_set(self, chunks):
         self._chunks = chunks
         self._cached_map = None
+        self.queue_draw()
 
     overdraw_padding: int = 2
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]