##// 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 </%def>
19 </%def>
20
20
21 <%def name="main()">
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 </%def>
23 </%def>
@@ -1,4 +1,4 b''
1 <%page args="parent" />
1 <%page args="parent,group_name=''" />
2 <div class="box">
2 <div class="box">
3 <!-- box / title -->
3 <!-- box / title -->
4 <div class="title">
4 <div class="title">
@@ -104,7 +104,7 b''
104 if (req) {
104 if (req) {
105 req = req.toLowerCase();
105 req = req.toLowerCase();
106 for (i = 0; i<data.length; i++) {
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 if (pos != -1) {
108 if (pos != -1) {
109 filtered.push(data[i]);
109 filtered.push(data[i]);
110 }
110 }
General Comments 0
You need to be logged in to leave comments. Login now