This topic was marked solved by Arantor, on August 1st, 2013, 07:45 AM
« Ripe Database
Board search
Theme selector broken + more... »

Nao

  • Dadman with a boy
  • Posts: 16,082
Board search
« 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..?

Arantor

  • As powerful as possible, as complex as necessary.
  • Posts: 14,278
Re: Board search
« Reply #1, 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.
When we unite against a common enemy that attacks our ethos, it nurtures group solidarity. Trolls are sensational, yes, but we keep everyone honest. | Game Memorial

emanuele

  • Posts: 125
Re: Board search
« Reply #2, on May 6th, 2013, 10:40 PM »
* emanuele was thinking how handy would be that option (search this board and it's childs) just yesterday...

Arantor

  • As powerful as possible, as complex as necessary.
  • Posts: 14,278
Re: Board search
« Reply #3, 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.
« Ripe Database
Theme selector broken + more... »