gui/image.h

   1 extern GdkPixbuf *img_pixbuf;
   2 extern int img_width, img_height;
   3 extern char img_name[];
   4 extern unsigned char *img_grey_buffer;
   5 extern unsigned char *img_mark_buffer;
   6 extern int img_scale_x, img_scale_y;
   7 extern int anything_modified;
   8
   9 void create_image(const char *filename);
  10 void create_or_reset_pixbuf(int resize);
  11 void destroy_image(void);
  12 void draw_image(int x, int y, int w, int h);
  13 void paint_brush(int x, int y, int size, int paint);
  14 void erase_mark(int index);
  15 void move_mark(int x, int y);
  16 void copy_mark_to_undo(void);
  17 void copy_undo_to_mark(int redo);
  18 void copy_color(int index);
  19 void paste_color(void);