3a0197c8db
MessageTray calls .size() very often to update the no messages label, so a linear time implementation is not good enough. https://bugzilla.gnome.org/show_bug.cgi?id=700194