[gnome-shell] appDisplay: Use EXTERNAL scroll policy

[Florian Müllner <fmuellner src gnome org>]

commit 5180ab262ca262372482321488894511c3a74f98
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Oct 30 00:26:40 2014 +0100

    appDisplay: Use EXTERNAL scroll policy
    
    Now that we support the new policy type, we can just use it instead
    of hiding the scrollbar.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=739379

 js/ui/appDisplay.js |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 1e94015..4f182ec 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -379,9 +379,7 @@ const AllView = new Lang.Class({
         this.actor.add_actor(this._scrollView);
 
         this._scrollView.set_policy(Gtk.PolicyType.NEVER,
-                                    Gtk.PolicyType.AUTOMATIC);
-        // we are only using ScrollView for the fade effect, hide scrollbars
-        this._scrollView.vscroll.hide();
+                                    Gtk.PolicyType.EXTERNAL);
         this._adjustment = this._scrollView.vscroll.adjustment;
 
         this._pageIndicators = new PageIndicators();