diff -r 8dd6160ff699 -r b61682f0ee96 gui/map_win.h
--- a/gui/map_win.h	Tue Nov 29 19:31:58 2005 +0000
+++ b/gui/map_win.h	Wed Nov 30 13:24:23 2005 +0000
@@ -40,7 +40,7 @@
 
   public:
 
-    MapSelector(std::vector<std::string>, int, bool);
+    MapSelector(std::vector<std::string>, std::string, int, bool);
 
     sigc::signal<void, std::string> signal_cbt_ch();
     sigc::signal<void, bool> signal_newmapwin_needed();
@@ -79,6 +79,10 @@
   ///Constructor of MapWin creates the widgets shown in MapWin.
   MapWin(const std::string& title, std::vector<std::string>, std::vector<std::string>, MainWin & mw);
 
+  ~MapWin();
+
+  virtual bool on_delete_event(GdkEventAny *);
+
   void nodeMapChanged(std::string, int);
 
   void edgeMapChanged(std::string, int);