Bug 540083 - [GTK3] Compare editor arrows broken on scroll

Send an extra redraw() in BufferedCanvas.repaint() on GTK if the compare
editor is scrolled. This is needed because GTK does not gaurantee that
what you draw directly on a windowing surface is going to be rendered on
screen.

Change-Id: I9dd960ab235037536b12b6d70ab187b9d5e161f3
Signed-off-by: Xi Yan <xixiyan@redhat.com>
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
3 files changed
tree: 4269c5cc82caef41b121259085c4fd35376ec3b6
  1. bundles/
  2. examples/
  3. features/
  4. tests/
  5. .gitignore
  6. CONTRIBUTING.md
  7. pom.xml