| 250 | } |
| 251 | |
| 252 | void |
| 253 | CloudEditorWidget::paste () |
| 254 | { |
| 255 | if (!cloud_ptr_) |
| 256 | return; |
| 257 | if (!copy_buffer_ptr_ || copy_buffer_ptr_->empty()) |
| 258 | return; |
| 259 | std::shared_ptr<PasteCommand> c(new PasteCommand(copy_buffer_ptr_, |
| 260 | selection_ptr_, cloud_ptr_)); |
| 261 | command_queue_ptr_->execute(c); |
| 262 | update(); |
| 263 | } |
| 264 | |
| 265 | void |
| 266 | CloudEditorWidget::remove () |