merged with embedded-tab-branch

1 files changed, 179 insertions, 295 deletions

diff --git a/src/Workspace.cc b/src/Workspace.cc
index 6b79c19..2d95c77 100644
--- a/src/Workspace.cc
+++ b/src/Workspace.cc
@@ -1,5 +1,5 @@
 // Workspace.cc for Fluxbox
-// Copyright (c) 2001 - 2003 Henrik Kinnunen (fluxgen at users.sourceforge.net)
+// Copyright (c) 2001 - 2003 Henrik Kinnunen (fluxgen[at]users.sourceforge.net)
 //
 // Workspace.cc for Blackbox - an X11 Window manager
 // Copyright (c) 1997 - 2000 Brad Hughes (bhughes at tcac.net)
@@ -22,7 +22,7 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: Workspace.cc,v 1.50 2003/02/20 21:00:29 fluxgen Exp $
+// $Id: Workspace.cc,v 1.51 2003/04/14 14:59:15 fluxgen Exp $
 
 #include "Workspace.hh"
 
@@ -32,6 +32,7 @@
 #include "Window.hh"
 #include "StringUtil.hh"
 #include "SimpleCommand.hh"
+#include "WinClient.hh"
 
 // use GNU extensions
 #ifndef  _GNU_SOURCE
@@ -50,6 +51,7 @@
 
 #include <algorithm>
 #include <iostream>
+#include <iterator>
 
 using namespace std;
 
@@ -68,24 +70,42 @@ int countTransients(const FluxboxWindow &win) {
     return ret;
 }
 
-class RaiseFocusAndSetWorkspace: public FbTk::Command {
+class ClientMenuItem:public FbTk::MenuItem {
 public:
-    RaiseFocusAndSetWorkspace(Workspace &space, FluxboxWindow &win):
-        m_space(space), m_win(win) { }
-    void execute() { 
+    ClientMenuItem(WinClient &client, Workspace &space):
+        FbTk::MenuItem(client.title().c_str()),
+        m_client(client), m_space(space) {
+        
+    }
+    void click(int button, int time) {
+        if (m_client.fbwindow() == 0)
+            return;
+        FluxboxWindow &win = *m_client.fbwindow();
+        BScreen &scr = win.getScreen();
         // determine workspace change
-        for (size_t i=0; i<m_space.getScreen().getCount(); i++) {
-            if (m_space.getScreen().getWorkspace(i) == &m_space) {
-                m_space.getScreen().changeWorkspaceID(i); 
+        for (size_t i=0; i<scr.getCount(); i++) {
+            if (scr.getWorkspace(i) == &m_space) {
+                scr.changeWorkspaceID(i); 
                 break;
             }
         }
 
-        m_win.raiseAndFocus();
+        win.setCurrentClient(m_client);
+        win.raiseAndFocus();
+    }
+
+    const std::string &label() const { return m_client.title(); }
+    bool isSelected() const { 
+        if (m_client.fbwindow() == 0)
+            return false;
+        if (m_client.fbwindow()->isFocused() == false)
+            return false;
+        return (&(m_client.fbwindow()->winClient()) == &m_client);
+            
     }
 private:
+    WinClient &m_client;
     Workspace &m_space;
-    FluxboxWindow &m_win;
 };
 
 };
@@ -119,15 +139,18 @@ void Workspace::setLastFocusedWindow(FluxboxWindow *win) {
         lastfocus = 0;
 }
 
-int Workspace::addWindow(FluxboxWindow *w, bool place) {
-    if (w == 0)
+int Workspace::addWindow(FluxboxWindow &w, bool place) {
+    // we don't need to add a window that already exist in our list
+    if (find(m_windowlist.begin(), m_windowlist.end(), &w) !=
+        m_windowlist.end())
         return -1;
 
+    w.setWorkspace(m_id);
+    w.setWindowNumber(m_windowlist.size());
+
     if (place)
         placeWindow(w);
 
-    w->setWorkspace(m_id);
-    w->setWindowNumber(m_windowlist.size());
 
     //insert window after the currently focused window  
     //FluxboxWindow *focused = Fluxbox::instance()->getFocusedWindow(); 
@@ -168,18 +191,19 @@ int Workspace::addWindow(FluxboxWindow *w, bool place) {
           m_windowlist.insert(insert_point_it, w);
           else // we didn't find it, so we just add it to stack
     */
-    m_windowlist.push_back(w);
+    m_windowlist.push_back(&w);
     updateClientmenu();
 
         
-    if (!w->isStuck()) 
-        screen.updateNetizenWindowAdd(w->getClientWindow(), m_id);
+    if (!w.isStuck()) 
+        screen.updateNetizenWindowAdd(w.getClientWindow(), m_id);
 
-    return w->getWindowNumber();
+    return w.getWindowNumber();
 }
 
 
 int Workspace::removeWindow(FluxboxWindow *w) {
+
     if (w == 0)
         return -1;
 
@@ -200,38 +224,38 @@ int Workspace::removeWindow(FluxboxWindow *w) {
             // it gets the next item down, then scans through our windowlist to see if it is 
             // in this workspace. If not, goes down more
             /* //!! TODO! FbTk::XLayerItem *item = 0, *lastitem = w->getLayerItem();
-            do {
-                item = m_layermanager.getItemBelow(*lastitem);
-                Windows::iterator it = m_windowlist.begin();
-                Windows::iterator it_end = m_windowlist.end();
-                for (; it != it_end; ++it) {
-                    if ((*it)->getLayerItem() == item) {
-                        // found one!
-                        top = *it;
-                    }
-                }
-
-                lastitem = item;
+               do {
+               item = m_layermanager.getItemBelow(*lastitem);
+               Windows::iterator it = m_windowlist.begin();
+               Windows::iterator it_end = m_windowlist.end();
+               for (; it != it_end; ++it) {
+               if ((*it)->getLayerItem() == item) {
+               // found one!
+               top = *it;
+               }
+               }
+
+               lastitem = item;
                 
-            } while (item && !top);
+               } while (item && !top);
             
-            if (!top) {
-                // look upwards
-                lastitem = w->getLayerItem();
-                do {
-                    item = m_layermanager.getItemAbove(*lastitem);
-                    Windows::iterator it = m_windowlist.begin();
-                    Windows::iterator it_end = m_windowlist.end();
-                    for (; it != it_end; ++it) {
-                        if ((*it)->getLayerItem() == item) {
-                            // found one!
-                            top = *it;
-                        }
-                    }
-                    lastitem = item;
-                } while (item && !top);
-
-            }
+               if (!top) {
+               // look upwards
+               lastitem = w->getLayerItem();
+               do {
+               item = m_layermanager.getItemAbove(*lastitem);
+               Windows::iterator it = m_windowlist.begin();
+               Windows::iterator it_end = m_windowlist.end();
+               for (; it != it_end; ++it) {
+               if ((*it)->getLayerItem() == item) {
+               // found one!
+               top = *it;
+               }
+               }
+               lastitem = item;
+               } while (item && !top);
+
+               }
             */
             if (top == 0|| !top->setInputFocus()) {
                 Fluxbox::instance()->setFocusedWindow(0); // set focused window to none
@@ -240,34 +264,32 @@ int Workspace::removeWindow(FluxboxWindow *w) {
     }
         
     // we don't remove it from the layermanager, as it may be being moved
+    Windows::iterator erase_it = remove(m_windowlist.begin(), 
+                                        m_windowlist.end(), w);
+    if (erase_it != m_windowlist.end())
+        m_windowlist.erase(erase_it);
 
-    Windows::iterator it = m_windowlist.begin();
-    Windows::iterator it_end = m_windowlist.end();
-    for (; it != it_end; ++it) {
-        if (*it == w) {
-            m_windowlist.erase(it);
-            break;
-        }
-    }
     updateClientmenu();
-        
-    if (!w->isStuck())
-        screen.updateNetizenWindowDel(w->getClientWindow());
-
-    {
-        Windows::iterator it = m_windowlist.begin();
-        Windows::const_iterator it_end = m_windowlist.end();
-        for (int i = 0; it != it_end; ++it, ++i) {
-            (*it)->setWindowNumber(i);
-        }
-    }
-        
+
     if (lastfocus == w || m_windowlist.empty())
         lastfocus = 0;
-        
+
     return m_windowlist.size();
 }
 
+void Workspace::removeWindow(WinClient &client) {
+    if (client.m_win == 0)
+        return;
+
+    if (client.m_win->numClients() == 0) {
+        Windows::iterator erase_it = remove(m_windowlist.begin(), 
+                                            m_windowlist.end(), client.m_win);
+        if (erase_it != m_windowlist.end())
+            m_windowlist.erase(erase_it);
+    }
+
+    updateClientmenu();
+}
 
 void Workspace::showAll() {
     Windows::iterator it = m_windowlist.begin();
@@ -375,16 +397,7 @@ void Workspace::checkGrouping(FluxboxWindow &win) {
                     // make sure the window is groupable
                     if ( !(*wit)->isGroupable())
                         break; // try next name
-                    //toggle tab on
-                    if ((*wit)->getTab() == 0)
-                        (*wit)->setTab(true);
-                    if (win.getTab() == 0)
-                        win.setTab(true);
-                    // did we succefully set the tab?
-                    if ((*wit)->getTab() == 0)
-                        break; // try another window
-                    (*wit)->getTab()->insert(win.getTab());
-
+                    cerr<<__FILE__<<"("<<__FUNCTION__<<") TODO attach client here!"<<endl;
                     return; // grouping done
                 }
             }
@@ -438,7 +451,8 @@ void Workspace::setName(const std::string &name) {
         char tname[128];
         sprintf(tname, I18n::instance()->
                 getMessage(
-                           FBNLS::WorkspaceSet, FBNLS::WorkspaceDefaultNameFormat,
+                           FBNLS::WorkspaceSet, 
+                           FBNLS::WorkspaceDefaultNameFormat,
                            "Workspace %d"), m_id + 1); //m_id starts at 0
         m_name = tname;
     }
@@ -455,161 +469,103 @@ void Workspace::setName(const std::string &name) {
  clears the m_windowlist
 */
 void Workspace::shutdown() {
+#ifdef DEBUG
+    cerr<<__FILE__<<"("<<__FUNCTION__<<"): windowlist:"<<endl;
+    copy(m_windowlist.begin(), m_windowlist.end(),
+         ostream_iterator<FluxboxWindow *>(cerr, " \n"));
+    cerr<<endl;
+#endif // DEBUG
     // note: when the window dies it'll remove it self from the list
     while (!m_windowlist.empty()) {
-        m_windowlist.back()->restore(true); // restore with remap
-        delete m_windowlist.back(); //delete window (the window removes it self from m_windowlist)
+        // restore with remap on all clients in that window
+        m_windowlist.back()->restore(true); 
+        //delete window (the window removes it self from m_windowlist)
+        delete m_windowlist.back(); 
     }
 }
 
 void Workspace::updateClientmenu() {
+    // remove all items and then add them again
     m_clientmenu.removeAll();
+    // for each fluxboxwindow add every client in them to our clientlist    
     Windows::iterator win_it = m_windowlist.begin();
     Windows::iterator win_it_end = m_windowlist.end();
     for (; win_it != win_it_end; ++win_it) {
-        FbTk::RefCount<FbTk::Command> 
-            raise_and_focus(new RaiseFocusAndSetWorkspace(*this, *(*win_it)));
-
-        m_clientmenu.insert((*win_it)->getTitle().c_str(), raise_and_focus); 
+        // add every client in this fluxboxwindow to menu
+        FluxboxWindow::ClientList::iterator client_it = 
+            (*win_it)->clientList().begin();
+        FluxboxWindow::ClientList::iterator client_it_end = 
+            (*win_it)->clientList().end();
+        for (; client_it != client_it_end; ++client_it) {
+            /*  FbTk::RefCount<FbTk::Command> 
+                raise_and_focus(new RaiseFocusAndSetWorkspace(*this, 
+                                                              *(*client_it)));
+                                                              */
+            m_clientmenu.insert(new ClientMenuItem(*(*client_it), *this));
+        }
     }
+    
     m_clientmenu.update();
 }
 
-void Workspace::placeWindow(FluxboxWindow *win) {
-    Bool placed = False;
-    int borderWidth4x = screen.getBorderWidth2x() * 2,
+void Workspace::placeWindow(FluxboxWindow &win) {
+
+    bool placed = false;
 
-        place_x = 0, place_y = 0, change_x = 1, change_y = 1;
+    int place_x = 0, place_y = 0, change_x = 1, change_y = 1;
 
     if (screen.getColPlacementDirection() == BScreen::BOTTOMTOP)
         change_y = -1;
     if (screen.getRowPlacementDirection() == BScreen::RIGHTLEFT)
         change_x = -1;
 
-#ifdef XINERAMA
-    int head = 0,
-        head_x = 0,
-        head_y = 0;
-    int head_w, head_h;
-    if (screen.hasXinerama()) {
-        head = screen.getCurrHead();
-        head_x = screen.getHeadX(head);
-        head_y = screen.getHeadY(head);
-        head_w = screen.getHeadWidth(head);
-        head_h = screen.getHeadHeight(head);
-
-    } else { // no xinerama
-        head_w = screen.getWidth();
-        head_h = screen.getHeight();
-    }
-
-#endif // XINERAMA
 
-    int win_w = win->getWidth() + screen.getBorderWidth2x(),
-        win_h = win->getHeight() + screen.getBorderWidth2x();
+    int win_w = win.getWidth() + screen.getBorderWidth2x(),
+        win_h = win.getHeight() + screen.getBorderWidth2x();
 
-    if (win->hasTab()) {
-        if ((! win->isShaded()) &&
-            screen.getTabPlacement() == Tab::PLEFT ||
-            screen.getTabPlacement() == Tab::PRIGHT)
-            win_w += (screen.isTabRotateVertical())
-                ? screen.getTabHeight()
-                : screen.getTabWidth();
-        else // tab placement top or bottom or win is shaded
-            win_h += screen.getTabHeight();
-    }
-
-    register int test_x, test_y, curr_x, curr_y, curr_w, curr_h;
+    int test_x, test_y, curr_x, curr_y, curr_w, curr_h;
 
     switch (screen.getPlacementPolicy()) {
     case BScreen::ROWSMARTPLACEMENT: {
-#ifdef XINERAMA
-        test_y = head_y;
-#else // !XINERAMA
+
         test_y = 0;
-#endif // XINERAMA
+
         if (screen.getColPlacementDirection() == BScreen::BOTTOMTOP)
-#ifdef XINERAMA
-            test_y = (head_y + head_h) - win_h - test_y;
-#else // !XINERAMA
-        test_y = screen.getHeight() - win_h - test_y;
-#endif // XINERAMA
+            test_y = screen.getHeight() - win_h - test_y;
+
 
         while (((screen.getColPlacementDirection() == BScreen::BOTTOMTOP) ?
-#ifdef XINERAMA
-                test_y >= head_y : test_y + win_h <= (head_y + head_h)
-#else // !XINERAMA
-                test_y > 0 : test_y + win_h < (signed) screen.getHeight()
-#endif // XINERAMA
-                ) && ! placed) {
-
-#ifdef XINERAMA
-            test_x = head_x;
-#else // !XINERAMA
+                test_y > 0 : test_y + win_h < (signed) screen.getHeight()) && 
+               ! placed) {
+
             test_x = 0;
-#endif // XINERAMA
+
             if (screen.getRowPlacementDirection() == BScreen::RIGHTLEFT)
-#ifdef XINERAMA
-                test_x = (head_x + head_w) - win_w - test_x;
-#else // !XINERAMA
-            test_x = screen.getWidth() - win_w - test_x;
-#endif // XINERAMA
+                test_x = screen.getWidth() - win_w - test_x;
+
 
             while (((screen.getRowPlacementDirection() == BScreen::RIGHTLEFT) ?
-#ifdef XINERAMA
-                    test_x >= head_x : test_x + win_w <= (head_x + head_w)
-#else // !XINERAMA
-                    test_x > 0 : test_x + win_w < (signed) screen.getWidth()
-#endif // XINERAMA
-                    ) && ! placed) {
+                    test_x > 0 : test_x + win_w < (signed) screen.getWidth()) && ! placed) {
 
-                placed = True;
+                placed = true;
 
-                Windows::iterator it = m_windowlist.begin();
-                Windows::iterator it_end = m_windowlist.end();
+                Windows::iterator win_it = m_windowlist.begin();
+                const Windows::iterator win_it_end = m_windowlist.end();
 
-                for (; it != it_end && placed; ++it) {
-                    curr_x = (*it)->getXFrame();
-                    curr_y = (*it)->getYFrame();
-                    curr_w = (*it)->getWidth() + screen.getBorderWidth2x();
-                    curr_h =
-                        (((*it)->isShaded())
-                         ? (*it)->getTitleHeight()
-                         : (*it)->getHeight()) +
-                        screen.getBorderWidth2x();      
-
-                    if ((*it)->hasTab()) {
-                        if (! (*it)->isShaded()) { // not shaded window
-                            switch(screen.getTabPlacement()) {
-                            case Tab::PTOP:
-                                curr_y -= screen.getTabHeight();
-                            case Tab::PBOTTOM:
-                                curr_h += screen.getTabHeight();
-                                break;
-                            case Tab::PLEFT:
-                                curr_x -= (screen.isTabRotateVertical())
-                                    ? screen.getTabHeight()
-                                    : screen.getTabWidth();
-                            case Tab::PRIGHT:
-                                curr_w += (screen.isTabRotateVertical())
-                                    ? screen.getTabHeight()
-                                    : screen.getTabWidth();
-                                break;
-                            case Tab::PNONE:
-                                break;
-                            }
-                        } else { // shaded window
-                            if (screen.getTabPlacement() == Tab::PTOP)
-                                curr_y -= screen.getTabHeight();
-                            curr_h += screen.getTabHeight();
-                        }
-                    } // tab cheking done
+                for (; win_it != win_it_end && placed; ++win_it) {
+                    FluxboxWindow &window = **win_it;
+
+                    curr_x = window.getXFrame();
+                    curr_y = window.getYFrame();
+                    curr_w = window.getWidth() + screen.getBorderWidth2x();
+                    curr_h = window.isShaded() ? window.getTitleHeight() :
+                        window.getHeight() + screen.getBorderWidth2x();
 
                     if (curr_x < test_x + win_w &&
                         curr_x + curr_w > test_x &&
                         curr_y < test_y + win_h &&
                         curr_y + curr_h > test_y) {
-                        placed = False;
+                        placed = false;
                     }
                 }
 
@@ -622,53 +578,33 @@ void Workspace::placeWindow(FluxboxWindow *win) {
                 }
 
                 test_x += change_x;
-            }
+            } // end while
 
             test_y += change_y;
-        }
+        } // end while
 
-        break; }
+        break; 
+    } // end case ROWSMARTPLACEMENT
 
     case BScreen::COLSMARTPLACEMENT: {
-#ifdef XINERAMA
-        test_x = head_x;
-#else // !XINERAMA
         test_x = 0;
-#endif // XINERAMA
+
         if (screen.getRowPlacementDirection() == BScreen::RIGHTLEFT)
-#ifdef XINERAMA
-            test_x = (head_x + head_w) - win_w - test_x;
-#else // !XINERAMA
-        test_x = screen.getWidth() - win_w - test_x;
-#endif // XINERAMA
+
+            test_x = screen.getWidth() - win_w - test_x;
+
 
         while (((screen.getRowPlacementDirection() == BScreen::RIGHTLEFT) ?
-#ifdef XINERAMA
-                test_x >= 0 : test_x + win_w <= (head_x + head_w)
-#else // !XINERAMA
-                test_x > 0 : test_x + win_w < (signed) screen.getWidth()
-#endif // XINERAMA
-                ) && ! placed) {
-
-#ifdef XINERAMA
-            test_y = head_y;
-#else // !XINERAMA
+                test_x > 0 : test_x + win_w < (signed) screen.getWidth()) && 
+               !placed) {
+
             test_y = 0;
-#endif // XINERAMA
             if (screen.getColPlacementDirection() == BScreen::BOTTOMTOP)
-#ifdef XINERAMA
-                test_y = (head_y + head_h) - win_h - test_y;
-#else // !XINERAMA
-            test_y = screen.getHeight() - win_h - test_y;
-#endif // XINERAMA
+                test_y = screen.getHeight() - win_h - test_y;
 
             while (((screen.getColPlacementDirection() == BScreen::BOTTOMTOP) ?
-#ifdef XINERAMA
-                    test_y >= head_y : test_y + win_h <= (head_y + head_h)
-#else // !XINERAMA
-                    test_y > 0 : test_y + win_h < (signed) screen.getHeight()
-#endif // XINERAMA
-                    ) && ! placed) {
+                    test_y > 0 : test_y + win_h < (signed) screen.getHeight()) && 
+                   !placed) {
                 placed = True;
 
                 Windows::iterator it = m_windowlist.begin();
@@ -683,36 +619,6 @@ void Workspace::placeWindow(FluxboxWindow *win) {
                          : (*it)->getHeight()) +
                         screen.getBorderWidth2x();;
 
-                    if ((*it)->hasTab()) {
-                        if (! (*it)->isShaded()) { // not shaded window
-                            switch(screen.getTabPlacement()) {
-                            case Tab::PTOP:
-                                curr_y -= screen.getTabHeight();
-                            case Tab::PBOTTOM:
-                                curr_h += screen.getTabHeight();
-                                break;
-                            case Tab::PLEFT:
-                                curr_x -= (screen.isTabRotateVertical())
-                                    ? screen.getTabHeight()
-                                    : screen.getTabWidth();
-                            case Tab::PRIGHT:
-                                curr_w += (screen.isTabRotateVertical())
-                                    ? screen.getTabHeight()
-                                    : screen.getTabWidth();
-                                break;
-                            default:
-#ifdef DEBUG
-                                cerr << __FILE__ << ":" <<__LINE__ << ": " <<
-                                    "Unsupported Placement" << endl;
-#endif // DEBUG
-                                break;
-                            }
-                        } else { // shaded window
-                            if (screen.getTabPlacement() == Tab::PTOP)
-                                curr_y -= screen.getTabHeight();
-                            curr_h += screen.getTabHeight();
-                        }
-                    } // tab cheking done
 
                     if (curr_x < test_x + win_w &&
                         curr_x + curr_w > test_x &&
@@ -729,57 +635,35 @@ void Workspace::placeWindow(FluxboxWindow *win) {
                 }
 
                 test_y += change_y;
-            }
+            } // end while
 
             test_x += change_x;
-        }
+        } // end while
+
+        break; 
+    } // end COLSMARTPLACEMENT
 
-        break; }
     }
 
     // cascade placement or smart placement failed
     if (! placed) {
-#ifdef XINERAMA
-        if ((cascade_x > (head_w / 2)) ||
-            (cascade_y > (head_h / 2)))
-#else // !XINERAMA
-            if (((unsigned) cascade_x > (screen.getWidth() / 2)) ||
-                ((unsigned) cascade_y > (screen.getHeight() / 2)))
-#endif // XINERAMA
-
-                cascade_x = cascade_y = 32;
-#ifdef XINERAMA
-        place_x = head_x + cascade_x;
-        place_y = head_y + cascade_y;
-#else // !XINERAMA
+
+        if (((unsigned) cascade_x > (screen.getWidth() / 2)) ||
+            ((unsigned) cascade_y > (screen.getHeight() / 2)))
+            cascade_x = cascade_y = 32;
+
         place_x = cascade_x;
         place_y = cascade_y;
-#endif // XINERAMA
-        cascade_x += win->getTitleHeight();
-        cascade_y += win->getTitleHeight();
+
+        cascade_x += win.getTitleHeight();
+        cascade_y += win.getTitleHeight();
     }
 
-#ifdef XINERAMA
-    if (place_x + win_w > (head_x + head_w))
-        place_x = head_x + ((head_w - win_w) / 2);
-    if (place_y + win_h > (head_y + head_h))
-        place_y = head_y + ((head_h - win_h) / 2);
-#else // !XINERAMA
     if (place_x + win_w > (signed) screen.getWidth())
         place_x = (((signed) screen.getWidth()) - win_w) / 2;
     if (place_y + win_h > (signed) screen.getHeight())
         place_y = (((signed) screen.getHeight()) - win_h) / 2;
-#endif // XINERAMA
-
-    // fix window placement, think of tabs
-    if (win->hasTab()) {
-        if (screen.getTabPlacement() == Tab::PTOP) 
-            place_y += screen.getTabHeight();
-        else if (screen.getTabPlacement() == Tab::PLEFT)
-            place_x += (screen.isTabRotateVertical())
-                ? screen.getTabHeight()
-                : screen.getTabWidth();
-    }
 
-    win->moveResize(place_x, place_y, win->getWidth(), win->getHeight());
+
+    win.moveResize(place_x, place_y, win.getWidth(), win.getHeight());
 }