+
+ // Don't do anything if the size didn't really change. In particular,
+ // it is important that we don't reset our sash position because it's
+ // out of current range in this case as otherwise the really requested
+ // position would be lost and never set. Wait until we get a real size
+ // event with our non-initial size to do it.
+ if ( size == old_size )
+ return;
+
+ int delta = (int) ( (size - old_size)*m_sashGravity );
+ if ( delta != 0 )