+void Tool::key_press(unsigned key)
+{
+ if(key==Input::KEY_ESC)
+ set_done(false);
+ else if(key==Input::KEY_SHIFT_L || key==Input::KEY_SHIFT_R)
+ shift_held = true;
+ else if(key==Input::KEY_CTRL_L || key==Input::KEY_CTRL_R)
+ ctrl_held = true;
+}
+
+void Tool::key_release(unsigned key)
+{
+ if(key==Input::KEY_SHIFT_L || key==Input::KEY_SHIFT_R)
+ shift_held = false;
+ else if(key==Input::KEY_CTRL_L || key==Input::KEY_CTRL_R)
+ ctrl_held = false;
+}
+