| 238 | } |
| 239 | |
| 240 | void |
| 241 | CloudEditorWidget::copy () |
| 242 | { |
| 243 | if (!cloud_ptr_) |
| 244 | return; |
| 245 | if (!selection_ptr_ || selection_ptr_->empty()) |
| 246 | return; |
| 247 | std::shared_ptr<CopyCommand> c(new CopyCommand(copy_buffer_ptr_, |
| 248 | selection_ptr_, cloud_ptr_)); |
| 249 | command_queue_ptr_->execute(c); |
| 250 | } |
| 251 | |
| 252 | void |
| 253 | CloudEditorWidget::paste () |