diff options
-rw-r--r-- | src/Workspace.cc | 3 |
1 files changed, 2 insertions, 1 deletions
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 @@ | |||
22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
23 | // DEALINGS IN THE SOFTWARE. | 23 | // DEALINGS IN THE SOFTWARE. |
24 | 24 | ||
25 | // $Id: Workspace.cc,v 1.75 2003/06/24 14:57:53 fluxgen Exp $ | 25 | // $Id: Workspace.cc,v 1.76 2003/06/24 18:34:01 fluxgen Exp $ |
26 | 26 | ||
27 | #include "Workspace.hh" | 27 | #include "Workspace.hh" |
28 | 28 | ||
@@ -34,6 +34,7 @@ | |||
34 | #include "SimpleCommand.hh" | 34 | #include "SimpleCommand.hh" |
35 | #include "WinClient.hh" | 35 | #include "WinClient.hh" |
36 | #include "FbWinFrame.hh" | 36 | #include "FbWinFrame.hh" |
37 | #include "MenuItem.hh" | ||
37 | 38 | ||
38 | // use GNU extensions | 39 | // use GNU extensions |
39 | #ifndef _GNU_SOURCE | 40 | #ifndef _GNU_SOURCE |