diff options
author | Enrico Turri <enricoturri@seznam.cz> | 2020-02-04 16:42:26 +0300 |
---|---|---|
committer | Enrico Turri <enricoturri@seznam.cz> | 2020-02-04 16:42:26 +0300 |
commit | 3ec4b77dcdc210bcef2462a5d7f734abd74012d4 (patch) | |
tree | d670510f7f14c83866365015750410bf8f2e902d /src/slic3r/GUI/Plater.hpp | |
parent | 9f536291b083f993c852da1b86e5a0fbffd2fdc8 (diff) |
Added item menu 'Edit/Show labels' and removed labels activation from preferences dialog
Diffstat (limited to 'src/slic3r/GUI/Plater.hpp')
-rw-r--r-- | src/slic3r/GUI/Plater.hpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/slic3r/GUI/Plater.hpp b/src/slic3r/GUI/Plater.hpp index 568727abf..bd562d17e 100644 --- a/src/slic3r/GUI/Plater.hpp +++ b/src/slic3r/GUI/Plater.hpp @@ -170,6 +170,11 @@ public: bool is_preview_loaded() const; bool is_view3D_shown() const; +#if ENABLE_SHOW_SCENE_LABELS + bool are_view3D_labels_shown() const; + void show_view3D_labels(bool show); +#endif // ENABLE_SHOW_SCENE_LABELS + // Called after the Preferences dialog is closed and the program settings are saved. // Update the UI based on the current preferences. void update_ui_from_settings(); |