gnome-shell/js/misc
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
..
docInfo.js [search] Use 'AND' instead of 'OR' on search terms 2010-08-18 23:59:27 +02:00
format.js [format] Add 'x' format specifier and field width 2010-06-24 15:54:54 +02:00
gnomeSession.js
Makefile.am
params.js
telepathy.js minor js cleanups 2010-05-19 13:26:41 -04:00