diff --git a/html/hoogle.js b/html/hoogle.js index 494746f6..8c0dbd83 100644 --- a/html/hoogle.js +++ b/html/hoogle.js @@ -74,7 +74,7 @@ $(function(){ if (!instant) return; function getScope(){ var v = $scope ? $scope.val() : ""; - return v == null || v == "set:stackage" ? "" : v; + return v == null || v == "set:stackage" || v == "set:all" ? "" : v; } var nowHoogle = $hoogle.val();