diff options
| author | YuSanka <yusanka@gmail.com> | 2019-07-04 18:33:19 +0300 |
|---|---|---|
| committer | YuSanka <yusanka@gmail.com> | 2019-07-04 20:46:46 +0300 |
| commit | a29cc9e242285bc394fdd4e08a6911830cdd6631 (patch) | |
| tree | 7b8abeb67fa6e8f13bc49d3c3f7d095c311eaab6 /src/slic3r/GUI/Selection.hpp | |
| parent | 1798e2a84c57a9ecde31ffbeebdf6da0758bcd94 (diff) | |
Update object list after undo/redo
Diffstat (limited to 'src/slic3r/GUI/Selection.hpp')
| -rw-r--r-- | src/slic3r/GUI/Selection.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/slic3r/GUI/Selection.hpp b/src/slic3r/GUI/Selection.hpp index 8168e5e88..35336c2b3 100644 --- a/src/slic3r/GUI/Selection.hpp +++ b/src/slic3r/GUI/Selection.hpp @@ -238,7 +238,7 @@ public: void add_all(); // To be called after Undo or Redo once the volumes are updated. - void set_deserialized(EMode mode, const std::vector<std::pair<ObjectID, ObjectID>> &volumes_and_instances); + void set_deserialized(EMode mode, const std::vector<std::pair<size_t, size_t>> &volumes_and_instances); // Update the selection based on the new instance IDs. void instances_changed(const std::vector<size_t> &instance_ids_selected); |