Added menu Edit -> Delete selected

This commit is contained in:
Enrico Turri 2018-11-21 15:47:41 +01:00
parent 681beeadf6
commit 3e939a7496
4 changed files with 15 additions and 0 deletions

View file

@ -135,6 +135,7 @@ public:
void increase_instances(size_t num = 1);
void decrease_instances(size_t num = 1);
void set_number_of_copies(/*size_t num*/);
bool is_selection_empty() const;
void cut(size_t obj_idx, size_t instance_idx, coordf_t z);