19 double increase_pressed_time;
20 double decrease_pressed_time;
29 void change_value(
double dt);
31 key_control(
const std::string& name, T& _value,
const std::string& options =
"");
32 std::string get_type_name()
const;
34 std::string get_property_declarations();
35 bool set_void(
const std::string& property,
const std::string& value_type,
const void* value_ptr);
36 bool get_void(
const std::string& property,
const std::string& value_type,
void* value_ptr);
37 void on_set(
void* member_ptr);
38 bool handle(
event& e);
39 void stream_help(std::ostream& os);
40 void timer_event(
double time,
double dt);