diff options
-rw-r--r-- | src/Workspacemenu.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Workspacemenu.cc b/src/Workspacemenu.cc index 134da20..8ca7665 100644 --- a/src/Workspacemenu.cc +++ b/src/Workspacemenu.cc | |||
@@ -21,13 +21,14 @@ | |||
21 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 21 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
22 | // DEALINGS IN THE SOFTWARE. | 22 | // DEALINGS IN THE SOFTWARE. |
23 | 23 | ||
24 | // $Id: Workspacemenu.cc,v 1.9 2002/09/07 10:21:27 fluxgen Exp $ | 24 | // $Id: Workspacemenu.cc,v 1.10 2002/10/25 21:15:49 fluxgen Exp $ |
25 | 25 | ||
26 | #include "Workspacemenu.hh" | 26 | #include "Workspacemenu.hh" |
27 | 27 | ||
28 | #include "i18n.hh" | 28 | #include "i18n.hh" |
29 | #include "Screen.hh" | 29 | #include "Screen.hh" |
30 | #include "Workspace.hh" | 30 | #include "Workspace.hh" |
31 | #include "fluxbox.hh" | ||
31 | 32 | ||
32 | //use GNU extension | 33 | //use GNU extension |
33 | #ifndef _GNU_SOURCE | 34 | #ifndef _GNU_SOURCE |