comparison src/typedefs.h @ 888:d8e1e820cee7

reload changed images
author nadvornik
date Thu, 17 Jul 2008 21:51:21 +0000
parents ad420f2eb789
children 9427c91951e8
comparison
equal deleted inserted replaced
887:e418c33a49c8 888:d8e1e820cee7
349 GtkWidget *pr; 349 GtkWidget *pr;
350 GtkWidget *frame; 350 GtkWidget *frame;
351 351
352 FileData *image_fd; 352 FileData *image_fd;
353 353
354 gint64 size; /* file size (bytes) */
355 time_t mtime; /* file modified time stamp */
356 gint unknown; /* failed to load image */ 354 gint unknown; /* failed to load image */
357 355
358 ImageLoader *il; /* FIXME - image loader should probably go to FileData, but it must first support 356 ImageLoader *il; /* FIXME - image loader should probably go to FileData, but it must first support
359 sending callbacks to multiple ImageWindows in parallel */ 357 sending callbacks to multiple ImageWindows in parallel */
360 358
412 FileData *read_ahead_fd; 410 FileData *read_ahead_fd;
413 ImageLoader *read_ahead_il; 411 ImageLoader *read_ahead_il;
414 412
415 gint prev_color_row; 413 gint prev_color_row;
416 414
417 gint auto_refresh_id; 415 gint auto_refresh;
418 gint auto_refresh_interval;
419 416
420 gint delay_flip; 417 gint delay_flip;
421 gint orientation; 418 gint orientation;
422 gint desaturate; 419 gint desaturate;
423 420