Reapplied patch to change the two scrolled window implementations

to no longer clip the last bits as a rounding error. I had to
    change GetVirtualSize() as per my mail to devs.


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@31976 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Robert Roebling
2005-02-12 23:44:24 +00:00
parent a4945572ca
commit 878ddad57a
6 changed files with 113 additions and 85 deletions

View File

@@ -789,10 +789,10 @@ void wxWindowBase::DoSetVirtualSize( int x, int y )
wxSize wxWindowBase::DoGetVirtualSize() const
{
wxSize s( GetClientSize() );
if (m_virtualSize == wxDefaultSize)
return GetClientSize();
return wxSize( wxMax( m_virtualSize.GetWidth(), s.GetWidth() ),
wxMax( m_virtualSize.GetHeight(), s.GetHeight() ) );
return m_virtualSize;
}
// ----------------------------------------------------------------------------