[gnome-documents] preview: Don't hide navigation controls when hovering

[Cosimo Cecchi <cosimoc src gnome org>]

commit 1a71b99de1c2e362195b86cc1e599b1dee6825c1
Author: Alessandro Bono <shadow openaliasbox org>
Date:   Tue Sep 22 17:44:45 2015 -0700

    preview: Don't hide navigation controls when hovering
    
    https://bugzilla.gnome.org/show_bug.cgi?id=754789

 src/preview.js |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/src/preview.js b/src/preview.js
index d888d30..3624e96 100644
--- a/src/preview.js
+++ b/src/preview.js
@@ -687,7 +687,8 @@ const PreviewNavControls = new Lang.Class({
         this._motionId = 0;
         this._visibleInternal = true;
         this._updateVisibility();
-        this._queueAutoHide();
+        if (!this.bar_widget.hover)
+            this._queueAutoHide();
         return false;
     },