Example #1
0
 update_repo_options: function(repos) {
   if (!CodesearchUI.input_backend)
     return;
   var backend = CodesearchUI.input_backend.val();
   RepoSelector.updateOptions(_.keys(CodesearchUI.repo_urls[backend]));
 },