dvi/view.hh

   1 // notes:
   2 /*
   3  * hold en gdkpixbuf ved lige, og tegn den på en gtkdrawingarea
   4  * ved passende lejligheder
   5  */
   6
   7 #include "model.hh"
   8 #include <gtk/gtk.h>
   9 #include "painter.hh"
  10
  11 enum {
  12     BASE_DPI = 300,
  13     PAPER_WIDTH = 7,            // inches
  14     PAPER_HEIGHT = 17           // inches
  15 };
  16
  17 class View : public Observer {
  18 private:
  19     Model *model;
  20     GtkWidget *drawing_area;
  21     GdkPixmap *pixmap;
  22 public:
  23     View (Model *model_arg);
  24
  25     GtkWidget *get_widget (void) { return drawing_area; }
  26
  27     void create_pixmap (void);
  28     void expose (GdkEventExpose *event);
  29     void notify (void) const;
  30     void redraw (void) const;
  31 };
  32
  33 void on_da_realize (GtkDrawingArea *da,
  34                     View           *v);
  35 int  on_da_expose  (GtkWidget      *widget,
  36                     GdkEventExpose *event,
  37                     View           *v);