Project

General

Profile

« Previous | Next » 

Revision 42fe4405

Added by koszko over 1 year ago

add new extension's popup page

View differences:

html/repo_query.js
118 118 
	    return;
119 119 
	}
120 120 

  		




  121
  
  
    
	this.info_span.remove();


  		




  122
  
  
    
	this.results_list.classList.remove("hide");


  		




  123
  
  
    

  		




  124
  121
  
    
	this.result_entries = results.map(ref => new ResultEntry(this, ref));


  		




  125
  122
  
    

  		




  126
  
  
    
	const to_append = this.result_entries.length > 0 ?


  		




  127
  
  
    
	      this.result_entries.map(re => re.main_li) :


  		




  128
  
  
    
	      ["No results :("];


  		




  
  123
  
    
	if (this.result_entries.length > 0) {


  		




  
  124
  
    
	    this.results_list.classList.remove("hide");


  		




  
  125
  
    
	    this.info_span.remove();


  		




  129
  126
  
    

  		




  130
  
  
    
	this.results_list.append(...to_append);


  		




  
  127
  
    
	    const to_append = this.result_entries.map(re => re.main_li);


  		




  
  128
  
    
	    this.results_list.append(...to_append);


  		




  
  129
  
    
	} else {


  		




  
  130
  
    
	    this.info_span.innerText = "No results :(";


  		




  
  131
  
    
	}


  		




  131
  132
  
    
    }


  		




  132
  133
  
    

  		




  133
  134
  
    
    let show_results = () => {


  		












Also available in:  Unified diff