##// END OF EJS Templates
group index: quick search should not search the common part of repo names
Mads Kiilerich -
r3999:e1ecc862 default
parent child Browse files
Show More
@@ -19,5 +19,5 b''
19 19 </%def>
20 20
21 21 <%def name="main()">
22 <%include file="/index_base.html" args="parent=self,short_repo_names=True"/>
22 <%include file="/index_base.html" args="parent=self,group_name=c.group.group_name"/>
23 23 </%def>
@@ -1,4 +1,4 b''
1 <%page args="parent" />
1 <%page args="parent,group_name=''" />
2 2 <div class="box">
3 3 <!-- box / title -->
4 4 <div class="title">
@@ -104,7 +104,7 b''
104 104 if (req) {
105 105 req = req.toLowerCase();
106 106 for (i = 0; i<data.length; i++) {
107 var pos = data[i].raw_name.toLowerCase().indexOf(req)
107 var pos = data[i].raw_name.toLowerCase().indexOf(req, ${len(group_name)})
108 108 if (pos != -1) {
109 109 filtered.push(data[i]);
110 110 }
General Comments 0
You need to be logged in to leave comments. Login now