gravity for splitter window (patch 1046105)

git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@30947 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Vadim Zeitlin
2004-12-12 11:19:36 +00:00
parent 4116fac052
commit 14b4c0ff12
5 changed files with 103 additions and 3 deletions

View File

@@ -155,6 +155,12 @@ public:
// Gets the sash position
int GetSashPosition() const { return m_sashPosition; }
// Set the sash gravity
void SetSashGravity(double gravity);
// Gets the sash gravity
double GetSashGravity() const { return m_sashGravity; }
// If this is zero, we can remove panes by dragging the sash.
void SetMinimumPaneSize(int min);
int GetMinimumPaneSize() const { return m_minimumPaneSize; }
@@ -213,7 +219,7 @@ public:
bool GetNeedUpdating() const { return m_needUpdating ; }
#ifdef __WXMAC__
virtual bool MacClipGrandChildren() const { return true ; }
virtual bool MacClipGrandChildren() const { return true ; }
#endif
protected:
// event handlers
@@ -271,6 +277,8 @@ protected:
int m_oldX;
int m_oldY;
int m_sashPosition; // Number of pixels from left or top
double m_sashGravity;
wxSize m_lastSize;
int m_requestedSashPosition;
int m_sashPositionCurrent; // while dragging
int m_firstX;