1 files changed, 0 insertions, 37 deletions
diff --git a/dvi/view.hh b/dvi/view.hh
deleted file mode 100755
index bdab6df..0000000
--- a/dvi/view.hh
+++ /dev/null
@@ -1,37 +0,0 @@
-// notes:
-/*
- * hold en gdkpixbuf ved lige, og tegn den på en gtkdrawingarea 
- * ved passende lejligheder
- */
-
-#include "model.hh"
-#include <gtk/gtk.h>
-#include "painter.hh"
-
-enum {
-    BASE_DPI = 300,
-    PAPER_WIDTH = 7,		// inches
-    PAPER_HEIGHT = 17		// inches
-};
-
-class View : public Observer {
-private:
-    Model *model;
-    GtkWidget *drawing_area;
-    GdkPixmap *pixmap;
-public:
-    View (Model *model_arg);
-    
-    GtkWidget *get_widget (void) { return drawing_area; }
-    
-    void create_pixmap (void);
-    void expose (GdkEventExpose *event);
-    void notify (void) const;
-    void redraw (void) const;
-};
-
-void on_da_realize (GtkDrawingArea *da,
-		    View           *v);
-int  on_da_expose  (GtkWidget      *widget,
-		    GdkEventExpose *event,
-		    View           *v);