3 * hold en gdkpixbuf ved lige, og tegn den på en gtkdrawingarea
4 * ved passende lejligheder
13 PAPER_WIDTH = 7, // inches
14 PAPER_HEIGHT = 17 // inches
17 class View : public Observer {
20 GtkWidget *drawing_area;
23 View (Model *model_arg);
25 GtkWidget *get_widget (void) { return drawing_area; }
27 void create_pixmap (void);
28 void expose (GdkEventExpose *event);
29 void notify (void) const;
30 void redraw (void) const;
33 void on_da_realize (GtkDrawingArea *da,
35 int on_da_expose (GtkWidget *widget,
36 GdkEventExpose *event,