From 1510e1c0cf05bb60f7982834b531c82fba8487ad Mon Sep 17 00:00:00 2001
From: fluxgen <fluxgen>
Date: Tue, 24 Jun 2003 18:34:01 +0000
Subject: need menu item header

---
 src/Workspace.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Workspace.cc b/src/Workspace.cc
index e583eaa..0628492 100644
--- a/src/Workspace.cc
+++ b/src/Workspace.cc
@@ -22,7 +22,7 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: Workspace.cc,v 1.75 2003/06/24 14:57:53 fluxgen Exp $
+// $Id: Workspace.cc,v 1.76 2003/06/24 18:34:01 fluxgen Exp $
 
 #include "Workspace.hh"
 
@@ -34,6 +34,7 @@
 #include "SimpleCommand.hh"
 #include "WinClient.hh"
 #include "FbWinFrame.hh"
+#include "MenuItem.hh"
 
 // use GNU extensions
 #ifndef	 _GNU_SOURCE
-- 
cgit v0.11.2