diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-07-16 15:58:14 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-07-16 15:58:14 -0700 |
| commit | 59a50f30adfa5bdd41109ff6df7d32ecd2672932 (patch) | |
| tree | 062d33217cbfbfb52275730eab349566797c228e /src/js/fiveui/injected/prelude.js | |
| parent | 54d73a015a05ded583723a3b204580ea66d79acf (diff) | |
| parent | f1d4987e44a5ba3e66bf724d264ef2a57b82b775 (diff) | |
Merge branch 'new-ui' into new-ui-severity
Diffstat (limited to 'src/js/fiveui/injected/prelude.js')
| -rw-r--r-- | src/js/fiveui/injected/prelude.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/js/fiveui/injected/prelude.js b/src/js/fiveui/injected/prelude.js index db32d7f..cb1422a 100644 --- a/src/js/fiveui/injected/prelude.js +++ b/src/js/fiveui/injected/prelude.js @@ -81,8 +81,8 @@ fiveui.query = function (sel, context) { } ); - $filteredResults = $results.not('#fiveui-top') - .not('#fiveui-top *') + $filteredResults = $results.not('.fiveui') + .not('.fiveui *') .filter(':visible'); // update global stats |