void set_cursor_busy(gboolean busy);
void update_cursor(void);
+void update_cursor_for_resize(double *pt);
void create_new_stroke(GdkEvent *event);
void continue_stroke(GdkEvent *event);
void finalize_stroke(void);
void do_eraser(GdkEvent *event, double radius, gboolean whole_strokes);
+void finalize_erasure(void);
void do_hand(GdkEvent *event);
void start_vertspace(GdkEvent *event);
void continue_movesel(GdkEvent *event);
void finalize_movesel(void);
+gboolean start_resizesel(GdkEvent *event);
+void continue_resizesel(GdkEvent *event);
+void finalize_resizesel(void);
void selection_delete(void);
void selection_to_clip(void);
void clipboard_paste(void);
-void recolor_selection(int color);
+void recolor_selection(int color_no, guint color_rgba);
void rethicken_selection(int val);
/* text functions */