diff options
author | fluxgen <fluxgen> | 2002-08-14 22:57:55 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2002-08-14 22:57:55 (GMT) |
commit | 1f61bca0a9e969d9e634696c73768a3880c36f4d (patch) | |
tree | 74132133d43b77ca3e42c8126d9361cf6bd9cf71 /src/Workspacemenu.cc | |
parent | d479d3264ceb610e72b975bfcd1b8681887c5940 (diff) | |
download | fluxbox-1f61bca0a9e969d9e634696c73768a3880c36f4d.zip fluxbox-1f61bca0a9e969d9e634696c73768a3880c36f4d.tar.bz2 |
minor cleaning
Diffstat (limited to 'src/Workspacemenu.cc')
-rw-r--r-- | src/Workspacemenu.cc | 13 |
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 | ||