// if( !doc.bird.attemptExclusive( Session.DOOR_TIME, 250 )) return;
// try {
// ok this is tricky and totally stupid, have to replace it some day XXX
// doc.markers.remove( this, dragLastMark ); // remove temporary marker
// doc.markers.add( this, dragMark ); // restore original marker for undoable edit!
ce = new BasicCompoundEdit( getResourceString( "editMoveMarker" ));
doc.markers.editBegin( ce );
try {
doc.markers.editRemove( this, dragMark, ce );
doc.markers.editAdd( this, dragLastMark, ce );
}