diff options
author | fluxgen <fluxgen> | 2002-10-25 21:15:49 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2002-10-25 21:15:49 (GMT) |
commit | e111d9f44531054ac747c1401cadafbc9fb29a39 (patch) | |
tree | eb5841026e6097d508b0575a251ead81fc27ff17 /src/Workspacemenu.cc | |
parent | 1df87f87ab5a1b2bdc2ef960ee73a051fce9385e (diff) | |
download | fluxbox-e111d9f44531054ac747c1401cadafbc9fb29a39.zip fluxbox-e111d9f44531054ac747c1401cadafbc9fb29a39.tar.bz2 |
include fix
Diffstat (limited to 'src/Workspacemenu.cc')
-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 |