Holds options for calls to function 'announce' (announce). More...
#include <display.hpp>
Public Member Functions | |
| announce_options () | |
Public Attributes | |
| std::chrono::milliseconds | lifetime |
| Lifetime measured in milliseconds. More... | |
| bool | discard_previous |
| An announcement according these options should replace the previous announce (typical of fast announcing) or not (typical of movement feedback). More... | |
Holds options for calls to function 'announce' (announce).
Definition at line 602 of file display.hpp.
|
inline |
Definition at line 614 of file display.hpp.
| bool display::announce_options::discard_previous |
An announcement according these options should replace the previous announce (typical of fast announcing) or not (typical of movement feedback).
Definition at line 612 of file display.hpp.
Referenced by display::announce(), and play_controller::hotkey_handler::toggle_accelerated_speed().
| std::chrono::milliseconds display::announce_options::lifetime |
Lifetime measured in milliseconds.
Definition at line 605 of file display.hpp.
Referenced by display::announce().