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_pavel-1f61bca0a9e969d9e634696c73768a3880c36f4d.zip fluxbox_pavel-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 | ||