diff options
author | Xi Yan | 2018-10-18 20:33:31 +0000 |
---|---|---|
committer | Andrey Loskutov | 2018-10-19 14:44:49 +0000 |
commit | c876ccb5329dfb333ec5851532f65876348c569b (patch) | |
tree | 4269c5cc82caef41b121259085c4fd35376ec3b6 /examples/org.eclipse.compare.examples | |
parent | 279961a06766f0f0a2994a9bb66568103370af81 (diff) | |
download | eclipse.platform.team-I20181019-1800.tar.gz eclipse.platform.team-I20181019-1800.tar.xz eclipse.platform.team-I20181019-1800.zip |
Bug 540083 - [GTK3] Compare editor arrows broken on scrollY20181026-0120Y20181025-0550Y20181025-0530I20181027-1800I20181026-1800I20181025-1800I20181024-1800I20181023-1800I20181023-1200I20181023-0800I20181022-2040I20181022-1800I20181021-1800I20181020-1800I20181019-1800
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>
Diffstat (limited to 'examples/org.eclipse.compare.examples')
0 files changed, 0 insertions, 0 deletions