VS Code Web: badge fisso con conteggio righe

/* Sticky badge on the editor toolbar showing total line count (works on github.dev too) */
(function () {
  if (document.getElementById('vsc-line-badge')) return;
  const badge = document.createElement('div');
  badge.id = 'vsc-line-badge';
  Object.assign(badge.style, {
    position: 'fixed', right: '20px', top: '60px', zIndex: 99999,
    padding: '4px 10px', background: '#1f2328', color: '#7ee787',
    borderRadius: '12px', fontFamily: 'ui-monospace, monospace',
    fontSize: '11px', boxShadow: '0 2px 6px rgba(0,0,0,0.3)',
    pointerEvents: 'none'
  });
  document.body.appendChild(badge);
  const update = () => {
    const lines = document.querySelectorAll('.monaco-editor .view-line').length;
    badge.textContent = lines + ' lines';
    badge.style.display = lines ? '' : 'none';
  };
  update();
  new MutationObserver(update).observe(document.body, { childList: true, subtree: true });
})();