GoogleGit

commit21fae59c0fc44db945d81190ce9cae3ce6253f87[log][tgz]
authorDave Borowitz <dborowitz@google.com>Fri May 29 15:14:03 2015 -0700
committerDave Borowitz <dborowitz@google.com>Fri May 29 15:14:03 2015 -0700
treee873def0711d21d64d1c9e208f4d599d466e8d89
parent7a9c7e6a00b375058eca2143b3619053b1cc0a19[diff]
Use exacttopic for topic searches in web UI

"topic" is now a full-text search. When we have a "same topic" tab or
a link to a specific topic, we should prefer the exact search.

Change-Id: I0c366c216707c86a48e70ccf0d1bab1531ce9c56
3 files changed
tree: e873def0711d21d64d1c9e208f4d599d466e8d89
  1. .buckconfig
  2. .buckversion
  3. .editorconfig
  4. .gitignore
  5. .gitmodules
  6. .mailmap
  7. .pydevproject
  8. .settings/
  9. .watchmanconfig
  10. BUCK
  11. COPYING
  12. Documentation/
  13. INSTALL
  14. ReleaseNotes/
  15. SUBMITTING_PATCHES
  16. VERSION
  17. bucklets/
  18. contrib/
  19. gerrit-acceptance-tests/
  20. gerrit-antlr/
  21. gerrit-cache-h2/
  22. gerrit-common/
  23. gerrit-extension-api/
  24. gerrit-gwtdebug/
  25. gerrit-gwtexpui/
  26. gerrit-gwtui-common/
  27. gerrit-gwtui/
  28. gerrit-httpd/
  29. gerrit-launcher/
  30. gerrit-lucene/
  31. gerrit-main/
  32. gerrit-oauth/
  33. gerrit-openid/
  34. gerrit-patch-commonsnet/
  35. gerrit-patch-jgit/
  36. gerrit-pgm/
  37. gerrit-plugin-api/
  38. gerrit-plugin-archetype/
  39. gerrit-plugin-gwt-archetype/
  40. gerrit-plugin-gwtui/
  41. gerrit-plugin-js-archetype/
  42. gerrit-prettify/
  43. gerrit-reviewdb/
  44. gerrit-server/
  45. gerrit-solr/
  46. gerrit-sshd/
  47. gerrit-util-cli/
  48. gerrit-util-http/
  49. gerrit-util-ssl/
  50. gerrit-war/
  51. lib/
  52. plugins/
  53. tools/
  54. website/