gnome-shell/js
Florian Müllner a9c0dcbd6b [search] Use 'AND' instead of 'OR' on search terms
The current search system uses the OR operator to concatenate search
terms. While results which are matched multiple times sort before
other matches, it is almost guaranteed that adding an additional term
to the search increments the number of results, which is rather
surprising.

https://bugzilla.gnome.org/show_bug.cgi?id=610955
2010-08-18 23:59:27 +02:00
..
misc [search] Use 'AND' instead of 'OR' on search terms 2010-08-18 23:59:27 +02:00
perf [perf] replace frame count with accurately computed frame rate 2010-05-26 15:37:27 -04:00
prefs Migrate to GSettings 2010-06-18 20:27:41 +02:00
ui [search] Use 'AND' instead of 'OR' on search terms 2010-08-18 23:59:27 +02:00
Makefile.am Fix "make distcheck" - add missing reference for scripting.js - properly add js/perf/* 2010-05-22 18:02:52 +02:00