client/editor-ui.js
function bindEditor(fragment) {
    saveBreakHold();
    if (fragment) {
      editor.$name.text(fragment._href);
      if (fragment._holdUpdates) {
        editText(fragment._holdText);
      }
      else {
        editText(fragment._hdr + fragment._txt);
      }
      editor.binding = fragment._href;
    }
    else {
      editor.$name.text('');
      editText('');
      editor.binding = '';
    }
  }
function bindEditor(fragment) {
    saveBreakHold();
    if (fragment) {
      editor.$name.text(fragment._href);
      if (fragment._holdUpdates) {
        editText(fragment._holdText);
      }
      else {
        editText(fragment._hdr + fragment._txt);
      }
      editor.binding = fragment._href;
    }
    else {
      editor.$name.text('');
      editText('');
      editor.binding = '';
    }
  }
function bindEditor ( fragment ) { saveBreakHold ( ) ; if ( fragment ) { editor . $name . text ( fragment . _href ) ; if ( fragment . _holdUpdates ) { editText ( fragment . _holdText ) ; } else { editText ( fragment . _hdr + fragment . _txt ) ; } editor . binding = fragment . _href ; } else { editor . $name . text ( '' ) ; editText ( '' ) ; editor . binding = '' ; } }
change editingHref to a different fragment or page
change editingHref to a different fragment or page