[orca] Add a top margin when scrolling to just under a banner

[Joanmarie Diggs <joanied src gnome org>]

commit e2cb51ba6ad1ec6b614d70b3273e071119f3eb51
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Tue Oct 29 14:33:05 2019 -0400

    Add a top margin when scrolling to just under a banner

 src/orca/eventsynthesizer.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/orca/eventsynthesizer.py b/src/orca/eventsynthesizer.py
index cf6725e18..da6a24a55 100644
--- a/src/orca/eventsynthesizer.py
+++ b/src/orca/eventsynthesizer.py
@@ -361,7 +361,7 @@ def scrollToTopEdge(obj, startOffset=None, endOffset=None):
         return
 
     bannerX, bannerY, bannerWidth, bannerHeight = _objectExtents(banner)
-    _scrollToPoint(obj, bannerX + 10, bannerY + bannerHeight, startOffset, endOffset)
+    _scrollToPoint(obj, bannerX, bannerY + bannerHeight + 25, startOffset, endOffset)
 
 def scrollToTopLeft(obj, startOffset=None, endOffset=None):
     if not _canScrollTo: