W3C home > Mailing lists > Public > public-webplatform@w3.org > April 2013

RE: project.* search is different than searching within a project

From: David Kirstein <frozenice@frozenice.de>
Date: Sat, 20 Apr 2013 00:00:22 +0200
To: "'Julee'" <julee@adobe.com>, <public-webplatform@w3.org>
Message-ID: <007b01ce3d49$4a970040$dfc500c0$@frozenice.de>


I poked around a bit in my test install and it looks like we could also do
this via our theme, using JavaScript. I have added a possible JS solution to
the issue.




From: Julee [mailto:julee@adobe.com] 
Sent: Freitag, 19. April 2013 23:46
To: public-webplatform@w3.org
Subject: project.* search is different than searching within a project


Hi, everyone:


I just filed a bug[1] that search at project.webplatform.org searches across
all projects, but search within a project only returns issues from that


The expected behavior I proposed would be to make the same search form
perform the same regardless of whether it's at the root or within a project.
But to make this fix requires messing with the bug genie core code.


Is it worth it? I think so. But we want to get more folks' opinions.


Please review the bug and share your opinion - in the comments on the bug
would be best.


Thanks much!




[1] http://project.webplatform.org/prmg/issues/PRMG-17




Received on Friday, 19 April 2013 22:00:46 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:13:46 UTC