From 150252391fe9162a584a59e833024fc1f19dbdf9 Mon Sep 17 00:00:00 2001 From: Rares Visalom Date: Fri, 23 Jun 2017 17:24:34 +0300 Subject: [PATCH] search: Increase maximum number of visible list search results Since results are now much more concise and take up less space, we can use the 'saved' space to provide the user with more search results for each provider. https://bugzilla.gnome.org/show_bug.cgi?id=749957 --- js/ui/search.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/search.js b/js/ui/search.js index a00e282a5..529a848f1 100644 --- a/js/ui/search.js +++ b/js/ui/search.js @@ -21,7 +21,7 @@ const Util = imports.misc.util; const SEARCH_PROVIDERS_SCHEMA = 'org.gnome.desktop.search-providers'; -const MAX_LIST_SEARCH_RESULTS_ROWS = 3; +const MAX_LIST_SEARCH_RESULTS_ROWS = 5; const MAX_GRID_SEARCH_RESULTS_ROWS = 1; const MaxWidthBin = new Lang.Class({