void renderData(object sender, RunWorkerCompletedEventArgs e)
        {
            Controls.Clear();

            var rect = ClientRectangle;

            rect.Offset(1, 1);
            rect.Height -= 2;
            rect.Width  -= 2;
            surface      = new SequenceCoverageSurface(this)
            {
                viewFilter = this.viewFilter,

                Bounds = rect,

                // the SequenceCoverageSurface is anchored everywhere but the bottom: when its height becomes
                // larger than the form's height, the form automatically adds a scroll bar to allow the user
                // to pan the surface
                Anchor = AnchorStyles.Left | AnchorStyles.Right | AnchorStyles.Top,

                // the surface's height must be at least the form's height
                MinimumSize = new Size(0, ClientSize.Height)
            };

            surface.SequenceCoverageFilter += (s, e2) => OnSequenceCoverageFilter(e2);

            Controls.Add(surface);
            Refresh();
        }
        void renderData(object sender, RunWorkerCompletedEventArgs e)
        {
            Controls.Clear();

            var rect = ClientRectangle;
            rect.Offset(1, 1);
            rect.Height -= 2;
            rect.Width -= 2;
            surface = new SequenceCoverageSurface(this)
            {
                viewFilter = this.viewFilter,

                Bounds = rect,

                // the SequenceCoverageSurface is anchored everywhere but the bottom: when its height becomes
                // larger than the form's height, the form automatically adds a scroll bar to allow the user
                // to pan the surface
                Anchor = AnchorStyles.Left | AnchorStyles.Right | AnchorStyles.Top,

                // the surface's height must be at least the form's height
                MinimumSize = new Size(0, ClientSize.Height)
            };

            surface.SequenceCoverageFilter += (s, e2) => OnSequenceCoverageFilter(e2);

            Controls.Add(surface);
            Refresh();
        }