[meld/ui-next] chunkmap: Always queue a draw when new chunks are set
- From: Kai Willadsen <kaiw src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [meld/ui-next] chunkmap: Always queue a draw when new chunks are set
- Date: Sat, 13 Apr 2019 00:03:52 +0000 (UTC)
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]