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