| 443 | } |
| 444 | |
| 445 | void DrawingProgram::paste_object_clipboard(const Vector2f& pos) { |
| 446 | selection.deselect_all(); |
| 447 | selection.paste_clipboard(pos); |
| 448 | world.main.g.gui.set_to_layout(); |
| 449 | } |
| 450 | |
| 451 | void DrawingProgram::popup_menu_action_button(const char* id, const char* text, const std::function<void()>& onClick) { |
| 452 | GUIStuff::GUIManager& gui = world.main.g.gui; |
no test coverage detected