diff options
| author | Andrew Dolgov <[email protected]> | 2008-05-17 04:32:36 +0100 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2008-05-17 04:32:36 +0100 |
| commit | a5bd7bf051e2d547fc0aed78ba231588d44291ce (patch) | |
| tree | 5fdf1909c4d9f6b5311b6c96fa26f9e1094fc839 /modules/pref-labels.php | |
| parent | 477402d827ef1640405552190cd5cfabd7cabff2 (diff) | |
user prefs: add search, misc code cleanup
Diffstat (limited to 'modules/pref-labels.php')
| -rw-r--r-- | modules/pref-labels.php | 15 |
1 files changed, 9 insertions, 6 deletions
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 "<tr><td colspan=\"4\" align=\"center\">".__('No labels defined.')."</td></tr>"; - } - + print "</table>"; print "<p id=\"labelOpToolbar\">"; @@ -329,7 +325,14 @@ onclick=\"javascript:removeSelectedLabels()\" value=\"".__('Remove')."\">"; } else { - print "<p>".__('No labels defined.')."</p>"; + print "<p>"; + if (!$label_search) { + print __('No labels defined.'); + } else { + print __('No matching labels found.'); + } + print "</p>"; + } } ?> |