void do_eraser(GdkEvent *event, double radius, gboolean whole_strokes);
+void do_hand(GdkEvent *event);
+
void start_selectrect(GdkEvent *event);
void finalize_selectrect(void);
gboolean start_movesel(GdkEvent *event);
void selection_delete(void);
void selection_to_clip(void);
void clipboard_paste(void);
+
+void recolor_selection(int color);
+void rethicken_selection(int val);