public ModelNavigatorForm(ModelDiagramForm form)
        {
            InitializeComponent();
            this.form = form;

            DoubleBuffered = true;

            canvas = new MySQL.GUI.Mdc.WindowsGDICanvasView(miniViewHost.Handle,
                                                            miniViewHost.Width, miniViewHost.Height);
            canvas.set_on_queue_repaint(canvasNeedsRepaint);
        }
        public ModelNavigatorForm(ModelDiagramForm form)
        {
            InitializeComponent();
              this.form = form;

              DoubleBuffered = true;

              canvas = new MySQL.GUI.Mdc.WindowsGDICanvasView(miniViewHost.Handle,
            miniViewHost.Width, miniViewHost.Height);
              canvas.set_on_queue_repaint(canvasNeedsRepaint);
        }
        public DiagramOptionsForm(WbContext wbContext)
        {
            InitializeComponent();

            contentPanel.CustomBackground = true;

            this.wbContext = wbContext;

            canvas = new MySQL.GUI.Mdc.WindowsGDICanvasView(contentPanel.Handle,
                                                            contentPanel.Width, contentPanel.Height);

            canvas.set_on_queue_repaint(canvasNeedsRepaint);

            canvas.initialize();

            optionsBE = new DiagramOptionsBE(canvas, wbContext, PropertyChanged);

            optionsBE.update_size();

            diagramNameEdit.Text = optionsBE.get_name();
            PropertyChanged();
        }
        public DiagramOptionsForm(WbContext wbContext)
        {
            InitializeComponent();

              contentPanel.CustomBackground = true;

              this.wbContext = wbContext;

              canvas = new MySQL.GUI.Mdc.WindowsGDICanvasView(contentPanel.Handle,
            contentPanel.Width, contentPanel.Height);

              canvas.set_on_queue_repaint(canvasNeedsRepaint);

              canvas.initialize();

              optionsBE = new DiagramOptionsBE(canvas, wbContext, PropertyChanged);

              optionsBE.update_size();

              diagramNameEdit.Text = optionsBE.get_name();
              PropertyChanged();
        }