Holds options for calls to function 'announce' (announce). More...
#include <display.hpp>
Public Member Functions | |
announce_options () | |
Public Attributes | |
int | 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 605 of file display.hpp.
|
inline |
Definition at line 617 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 615 of file display.hpp.
Referenced by play_controller::hotkey_handler::toggle_accelerated_speed().
int display::announce_options::lifetime |
Lifetime measured in milliseconds.
Definition at line 608 of file display.hpp.