Interesting user mistake

[via Digitalmars-d]

On Thursday, 3 September 2015 at 17:06:15 UTC, Luís Marques wrote:
> Ah, there was a button way on the top to apply the filter. 
> (<https://searchcode.com/?q=%3D%2B&loc=0&loc2=10000&lan=45>). 
> All results are irrelevant, so I guess it's unlikely to break 
> anything.

Urg, too trigger happy today. Bug?:

     https://searchcode.com/codesearch/view/15360834/

     for (int i = 0; i < m_mainWindows.length; ++i) {
         tabCount =+ m_mainWindows[i].tabWidget().count();
     }