private void Workspace_SizeChanged(object sender, SizeChangedEventArgs e)
{
//http://stackoverflow.com/questions/4474670/how-to-catch-the-ending-resize-window
// Children of the workspace, including the zoom border and the endless grid
// are expensive to resize. We use a timer here to defer resizing until
// after workspace resizing is complete. This improves the responziveness of
// the UI during resize.
_workspaceResizeTimer.IsEnabled = true;
_workspaceResizeTimer.Stop();
_workspaceResizeTimer.Start();
}