##// END OF EJS Templates
fixed repo switcher for easier switches. And took repo list from general cache
marcink -
r166:664cc734 default
parent child Browse files
Show More
@@ -71,9 +71,9 b''
71 <li>
71 <li>
72 <a id="repo_switcher" title="${_('Switch repository')}" href="#">&darr;</a>
72 <a id="repo_switcher" title="${_('Switch repository')}" href="#">&darr;</a>
73 <div id="switch_repos" style="display:none;position: absolute;width: 150px;height: 25px">
73 <div id="switch_repos" style="display:none;position: absolute;width: 150px;height: 25px">
74 <select id="repos_list">
74 <select id="repos_list" size="=10">
75 %for repo in c.repo_list:
75 %for repo in c.cached_repo_list:
76 <option value="${repo}">${repo}</option>
76 <option value="${repo['name']}">${repo['name']}</option>
77 %endfor
77 %endfor
78 </select>
78 </select>
79 </div>
79 </div>
General Comments 0
You need to be logged in to leave comments. Login now