diff --git a/includes/theme.inc b/includes/theme.inc index 1fd10cde8a1..80164a36a30 100644 --- a/includes/theme.inc +++ b/includes/theme.inc @@ -256,7 +256,7 @@ function theme_get_settings($key = NULL) { } // Only offer search box if search.module is enabled. - if (!module_exist('search')) { + if (!module_exist('search') || !user_access('search content')) { $settings['toggle_search'] = 0; }