If you define "badge color" for several filters, the extension doesn't behave
in a well-defined manner: the badge (number) seems to change unpredictably.
- maybe it rotates the selected badge on refresh. But my refresh interval for
all filters is 10 min, and it rotates more often...
I think it's best to *stick* to the badge of the last activated filter-tab. If
the last activated tab has no badge, keep the previous one.
Original issue reported on code.google.com by vladi...@sirma.bg on 2 Sep 2011 at 6:58
Original issue reported on code.google.com by
vladi...@sirma.bg
on 2 Sep 2011 at 6:58