docs: function appendKeyBindingString(element, keyBindingString) {
  		var span = document.createElement("span"); //$NON-NLS-0$
  		span.classList.add("dropdownKeyBinding"); //$NON-NLS-0$
  		span.appendChild(document.createTextNode(keyBindingString));
  		element.appendChild(span);
  	}