Changing favicon with notebook extension

[Sarunas_Azna]

@bkitej

let head = document.head || document.getElementsByTagName('head')[0];

function changeFavicon(src: string) {
  let link = document.createElement('link'),
       oldLink = document.getElementById('dynamic-favicon');
  link.id = 'dynamic-favicon';
  link.rel = 'icon';
  link.type = 'image/x-icon';
  link.href = src;
  if (oldLink) {
    head.removeChild(oldLink);
  }
  head.appendChild(link);
}

Thanks for the snippet! As per how to make my own extension with static files listed - this is a good example https://gitter.im/jupyterlab/jupyterlab?at=5b3b80d133b0282df4fc6df0.