--- ./src/Editor/Toolbox.h.orig	Mon Jul 21 18:37:37 2003
+++ ./src/Editor/Toolbox.h	Mon Jul 21 18:37:46 2003
@@ -13,7 +13,7 @@
 
 #include <gtk/gtkwidget.h>
 
-
+using std::string;
 
 class Toolbox
 {