- //! Returns the window's border width
- /*!
- The border width is set to 0 when the client becomes managed, but the
- border width is stored here so that it can be restored to the client window
- when it is unmanaged later.
- */
- inline int borderWidth() const { return _border_width; }
- //! Returns the minimum width of the client window
- /*!
- If the min is > the max, then the window is not resizable
- */
- inline int minX() const { return _min_x; }
- //! Returns the minimum height of the client window
- /*!
- If the min is > the max, then the window is not resizable
- */
- inline int minY() const { return _min_y; }
- //! Returns the maximum width of the client window
- /*!
- If the min is > the max, then the window is not resizable
- */
- inline int maxX() const { return _max_x; }
- //! Returns the maximum height of the client window
- /*!
- If the min is > the max, then the window is not resizable
- */
- inline int maxY() const { return _max_y; }
- //! Returns the increment size for resizing the window (for the width)
- inline int incrementX() const { return _inc_x; }
- //! Returns the increment size for resizing the window (for the height)
- inline int incrementY() const { return _inc_y; }
- //! Returns the base width of the window