private void RenderScene_Resize(object sender, EventArgs e)
{
renderSurface.Top = renderSceneTools.Size.Height + 1;
renderSurface.Width = Width;
renderSurface.Height = Height - (renderSceneTools.Size.Height + renderSurface.Size.Height) - 1;
//update the main dragger
IntVector2 surfaceDimensions = new IntVector2(Width, Height);
if (MainApplication != null)
{
Dragger dragger = MainApplication.GetDragger();
if (dragger != null)
{
dragger.SurfaceDimensions = surfaceDimensions;
}
}
}
