os-gui/alwaysLoaded.js

function setDisplayURL(newURL) {
  window.history.pushState(null, '', newURL);
}