14 void processInput(double);
16 void dontListenFor(int);
17 void addMouseHandler(void (*)(double, double, double));
18 void removeMouseHandler(void (*)(double, double, double));
19 void addKeyHandler(void (*)(double, std::set<int>));
20 void removeKeyHandler(void (*)(double, std::set<int>));
22 double mouse_sensitivity;
24 InputHandler(Window *);
27 void processMouseInput(double);
28 void processKeyInput(double);
31 std::set<int> listened_keys;
32 std::set<void (*)(double, double, double)> mouse_handlers;
33 std::set<void (*)(double, std::set<int>)> key_handlers;