- //! Move the client window
- /*!
- This shouldnt be used to move the window internally! It will apply
- window gravity after moving the window.
- */
- void move(int x, int y);
-
- //! Resizes the client window, anchoring it in a given corner
- /*!
- This also maintains things like the client's minsize, and size increments.
- @param anchor The corner to keep in the same position when resizing
- @param size The new size for the client
- */
- void resize(Corner anchor, int x, int y);
-