/**
* @param workspace
* @requires whatever is requires for AutomatedBlockInsertion
*/
protected static void automatePasteBlock(Workspace workspace) {
TypeBlockManager typeBlockManager = workspace.getTypeBlockManager();
if (!typeBlockManager.isEnabled()) {
System.err.println("AutoMatePasteBlock invoked but typeBlockManager is disabled.");
return;
}
typeBlockManager.pasteStack(typeBlockManager.bufferedBlock);
}
