Wedge

Public area => Bug reports => The Pub => Archived fixes => Topic started by: Nao on May 6th, 2013, 10:05 PM

Title: Board search
Post by: Nao on May 6th, 2013, 10:05 PM
Hmm, I'd qualify this as a bug, but YMMV...

Go to Public Area board.
In Search box, type 'plugin revs'. Click Search.
Doesn't return the 'Plugin Revs' topic, which is located in a sub-board of Public Area, i.e. Features.

I think that board search should also include children, or at least offer an option to do so..?
Title: Re: Board search
Post by: Arantor on May 6th, 2013, 10:13 PM
It should definitely offer the option, though the idea is that 'searching this board' does mean 'just this board'. It is how it was originally designed to work.
Title: Re: Board search
Post by: emanuele on May 6th, 2013, 10:40 PM
/mewas thinking how handy would be that option (search this board and it's childs) just yesterday...
Title: Re: Board search
Post by: Arantor on August 1st, 2013, 07:45 AM
It wasn't a bug but now it's an option either way, and if we decide to fold it into one thing, it's not a big deal.