aboutsummaryrefslogtreecommitdiff
path: root/src/Workspace.cc
diff options
context:
space:
mode:
authorfluxgen <fluxgen>2003-12-30 18:16:51 (GMT)
committerfluxgen <fluxgen>2003-12-30 18:16:51 (GMT)
commit5febf6c902516a578004a2df336a16c98bcc45f7 (patch)
tree5e0668006d7c6195e8352c91eafcf3b24e3946eb /src/Workspace.cc
parent35e2057fb77b89ed1726b53b598b27781516d001 (diff)
downloadfluxbox-5febf6c902516a578004a2df336a16c98bcc45f7.zip
fluxbox-5febf6c902516a578004a2df336a16c98bcc45f7.tar.bz2
minor cleaning
Diffstat (limited to 'src/Workspace.cc')
-rw-r--r--src/Workspace.cc7
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
144void Workspace::addWindow(FluxboxWindow &w, bool place) { 144void 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);