diff --git a/modules/pref-filters.php b/modules/pref-filters.php index fcd04de73..7975e1297 100644 --- a/modules/pref-filters.php +++ b/modules/pref-filters.php @@ -396,18 +396,7 @@ ++$lnum; } - - if ($lnum == 0) { - print "
"; @@ -419,21 +408,14 @@ print "
"; - -/* print ""; - if (!$filter_search) { print __('No filters defined.'); } else { print __('No matching filters found.'); } - print "
"; } diff --git a/modules/pref-labels.php b/modules/pref-labels.php index 617952270..ce326bf01 100644 --- a/modules/pref-labels.php +++ b/modules/pref-labels.php @@ -314,11 +314,7 @@ ++$lnum; } - - if ($lnum == 0) { - print ""; @@ -329,7 +325,14 @@ onclick=\"javascript:removeSelectedLabels()\" value=\"".__('Remove')."\">"; } else { - print "
".__('No labels defined.')."
"; + print ""; + if (!$label_search) { + print __('No labels defined.'); + } else { + print __('No matching labels found.'); + } + print "
"; + } } ?> diff --git a/modules/pref-users.php b/modules/pref-users.php index 6abd4ca4b..467f3e106 100644 --- a/modules/pref-users.php +++ b/modules/pref-users.php @@ -184,6 +184,23 @@ set_pref($link, "_PREFS_ACTIVE_TAB", "userConfig"); + $user_search = db_escape_string($_GET["search"]); + + if (array_key_exists("search", $_GET)) { + $_SESSION["prefs_user_search"] = $user_search; + } else { + $user_search = $_SESSION["prefs_user_search"]; + } + + print "