diff options
author | fluxgen <fluxgen> | 2003-12-30 18:16:51 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2003-12-30 18:16:51 (GMT) |
commit | 5febf6c902516a578004a2df336a16c98bcc45f7 (patch) | |
tree | 5e0668006d7c6195e8352c91eafcf3b24e3946eb /src/Workspace.cc | |
parent | 35e2057fb77b89ed1726b53b598b27781516d001 (diff) | |
download | fluxbox-5febf6c902516a578004a2df336a16c98bcc45f7.zip fluxbox-5febf6c902516a578004a2df336a16c98bcc45f7.tar.bz2 |
minor cleaning
Diffstat (limited to 'src/Workspace.cc')
-rw-r--r-- | src/Workspace.cc | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/Workspace.cc b/src/Workspace.cc index 74c5850..8e8df5b 100644 --- a/src/Workspace.cc +++ b/src/Workspace.cc | |||
@@ -22,7 +22,7 @@ | |||
22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
23 | // DEALINGS IN THE SOFTWARE. | 23 | // DEALINGS IN THE SOFTWARE. |
24 | 24 | ||
25 | // $Id: Workspace.cc,v 1.88 2003/12/18 18:03:22 fluxgen Exp $ | 25 | // $Id: Workspace.cc,v 1.89 2003/12/30 18:16:51 fluxgen Exp $ |
26 | 26 | ||
27 | #include "Workspace.hh" | 27 | #include "Workspace.hh" |
28 | 28 | ||
@@ -32,8 +32,8 @@ | |||
32 | #include "Window.hh" | 32 | #include "Window.hh" |
33 | #include "WinClient.hh" | 33 | #include "WinClient.hh" |
34 | #include "FbWinFrame.hh" | 34 | #include "FbWinFrame.hh" |
35 | #include "MenuItem.hh" | ||
36 | 35 | ||
36 | #include "FbTk/MenuItem.hh" | ||
37 | #include "FbTk/StringUtil.hh" | 37 | #include "FbTk/StringUtil.hh" |
38 | 38 | ||
39 | // use GNU extensions | 39 | // use GNU extensions |
@@ -143,8 +143,7 @@ void Workspace::setLastFocusedWindow(FluxboxWindow *win) { | |||
143 | 143 | ||
144 | void Workspace::addWindow(FluxboxWindow &w, bool place) { | 144 | void Workspace::addWindow(FluxboxWindow &w, bool place) { |
145 | // we don't need to add a window that already exist in our list | 145 | // we don't need to add a window that already exist in our list |
146 | if (find(m_windowlist.begin(), m_windowlist.end(), &w) != | 146 | if (find(m_windowlist.begin(), m_windowlist.end(), &w) != m_windowlist.end()) |
147 | m_windowlist.end()) | ||
148 | return; | 147 | return; |
149 | 148 | ||
150 | w.setWorkspace(m_id); | 149 | w.setWorkspace(m_id); |