trigger.js

function(toggle) {
  var trigger = document.getElementById('quickjump-trigger');
  if (trigger) {
    trigger.onclick = function(e) { e.preventDefault(); toggle(); };
  }
}