Austin, I think you put me on the right track. I had that disabled. I enabled it and disabled it again, which caused unintended interface changes. That forced me into the main settings for the priority inbox (not gmail settings). There, I found a radio button that was enabled by default apparently about overriding filters for important messages. I disabled that. Hopefully this will no longer be a problem.
Thank you,
Thomas
On Tue, Aug 13, 2013 at 12:38 PM, Austin English austinenglish@gmail.comwrote:
On Tue, Aug 13, 2013 at 8:57 AM, Thomas Spear speeddymon@gmail.com wrote:
Thanks Henri. Sadly, when I tried that, it filtered nothing at all, just
the
same as the issue I originally reported. Probably a gmail problem with filtering on the List-Id, as they don't have proper support for matching
it
in filters, only searches.
Thank you,
Thomas
On Tue, Aug 13, 2013 at 10:54 AM, Henri Verbeet hverbeet@gmail.com
wrote:
On 13 August 2013 17:23, Bruno Jesus 00cpxxx@gmail.com wrote:
My filters are still working fine, probably they are configured the same as yours:
Matches: to:(wine-devel@winehq.org) Do this: Skip Inbox, Apply label "WineDevel", Never send it to Spam
Matches: from:(wine-bugs@winehq.org) Do this: Skip Inbox, Apply label "WineDevel", Never send it to Spam
In case anyone finds this useful, you'll generally want to filter mailing lists based on the List-Id header.
The recent Gmail changes for bulk/social network notifications/etc. email may be the cause:
http://gmailblog.blogspot.com/2013/05/a-new-inbox-that-puts-you-back-in.html
-- -Austin