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 615 of file display.hpp.
|
inline |
Definition at line 627 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 625 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 618 of file display.hpp.
Referenced by display::announce().