Fix index.

This commit is contained in:
Georg Brandl 2011-09-23 11:00:45 +02:00
parent 69f7e07681
commit f04abffe60

View File

@ -363,7 +363,7 @@ var Search = {
var fullname = (prefix ? prefix + '.' : '') + name;
if (fullname.toLowerCase().indexOf(object) > -1) {
match = objects[prefix][name];
descr = objnames[match[1]][0] + _(', in ') + titles[match[0]];
descr = objnames[match[1]][2] + _(', in ') + titles[match[0]];
anchor = match[3];
if (anchor == '')
anchor = fullname;