- void copyToClipboard(ReadGraph graph, SimanticsClipboardBuilder clipboard) throws DatabaseException;
- void cutToClipboard(ReadGraph graph, SimanticsClipboardBuilder clipboard) throws DatabaseException;
+ void copyToClipboard(ReadGraph graph, SimanticsClipboardBuilder clipboard, IProgressMonitor monitor) throws DatabaseException;
+ void cutToClipboard(ReadGraph graph, SimanticsClipboardBuilder clipboard, IProgressMonitor monitor) throws DatabaseException;