summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Workspacemenu.cc13
1 files changed, 7 insertions, 6 deletions
diff --git a/src/Workspacemenu.cc b/src/Workspacemenu.cc
index d13621b..16802f6 100644
--- a/src/Workspacemenu.cc
+++ b/src/Workspacemenu.cc
@@ -21,7 +21,13 @@
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.7 2002/05/07 14:05:00 fluxgen Exp $ 24// $Id: Workspacemenu.cc,v 1.8 2002/08/14 22:57:55 fluxgen Exp $
25
26#include "Workspacemenu.hh"
27
28#include "i18n.hh"
29#include "Screen.hh"
30#include "Workspace.hh"
25 31
26//use GNU extension 32//use GNU extension
27#ifndef _GNU_SOURCE 33#ifndef _GNU_SOURCE
@@ -32,11 +38,6 @@
32#include "../config.h" 38#include "../config.h"
33#endif // HAVE_CONFIG_H 39#endif // HAVE_CONFIG_H
34 40
35#include "Workspacemenu.hh"
36
37#include "i18n.hh"
38#include "Screen.hh"
39#include "Workspace.hh"
40#include <iostream> 41#include <iostream>
41#include <cassert> 42#include <cassert>
42 43