diff options
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 |