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 | |
| parent | 1df87f87ab5a1b2bdc2ef960ee73a051fce9385e (diff) | |
| download | fluxbox_paul-e111d9f44531054ac747c1401cadafbc9fb29a39.zip fluxbox_paul-e111d9f44531054ac747c1401cadafbc9fb29a39.tar.bz2 | |
include fix
| -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 |