Re: 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();
    }