[meld] filediff: Round position to avoid recursive scroll sync (bgo#769705)

[Kai Willadsen <kaiw src gnome org>]

commit 5bd65a9c0b0bd6d2d852c4d62225b72b6ecee5d8
Author: Vasily Galkin <galkin-vv ya ru>
Date:   Tue Sep 13 19:45:51 2016 +0300

    filediff: Round position to avoid recursive scroll sync (bgo#769705)

 meld/filediff.py |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/meld/filediff.py b/meld/filediff.py
index 20ad86d..d52752c 100644
--- a/meld/filediff.py
+++ b/meld/filediff.py
@@ -16,6 +16,7 @@
 
 import copy
 import functools
+import math
 import os
 import time
 
@@ -1730,6 +1731,7 @@ class FileDiff(melddoc.MeldDoc, gnomeglade.Component):
                 val += (other_line-int(other_line)) * height
                 val = min(max(val, adj.get_lower()),
                           adj.get_upper() - adj.get_page_size())
+                val = math.floor(val)
                 adj.set_value(val)
 
                 # If we just changed the central bar, make it the master