Function renderOsOptions

web/js/app.js:245–257

()

}

function renderOsOptions(){
  const select = $('osFilter');
  const labels = [...new Set(S.servers.map(s => osLabel(s.os)).filter(Boolean))].sort((a,b)=>a.localeCompare(b,'zh-CN'));
  const signature = labels.join('\u001f');
  const current = labels.includes(S.filters.os) ? S.filters.os : 'all';
  if(document.activeElement === select) return;
  if(S.osOptionsSignature !== signature){
    select.innerHTML = '<option value="all">全部系统</option>' + labels.map(label => `<option value="${esc(label)}">${esc(label)}</option>`).join('');
    S.osOptionsSignature = signature;
  }
  if(select.value !== current) select.value = current;
  S.filters.os = select.value;
}

function protoPill(s){
  const m = metrics(s);