namespace Core.Common.Gui.Swf.Validation { partial class ValidationView { /// /// Required designer variable. /// private System.ComponentModel.IContainer components = null; /// /// Clean up any resources being used. /// /// true if managed resources should be disposed; otherwise, false. protected override void Dispose(bool disposing) { if (disposing && (components != null)) { components.Dispose(); } base.Dispose(disposing); } #region Component Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// private void InitializeComponent() { this.components = new System.ComponentModel.Container(); this.refreshTimer = new System.Windows.Forms.Timer(this.components); this.manualRefreshPanel = new System.Windows.Forms.Panel(); this.manualRefreshButton = new System.Windows.Forms.Button(); this.label1 = new System.Windows.Forms.Label(); this.validationReportControl = new ValidationReportControl(); this.manualRefreshPanel.SuspendLayout(); this.SuspendLayout(); // // refreshTimer // this.refreshTimer.Enabled = true; this.refreshTimer.Interval = 750; this.refreshTimer.Tick += new System.EventHandler(this.RefreshTimerTick); // // manualRefreshPanel // this.manualRefreshPanel.BackColor = System.Drawing.SystemColors.Info; this.manualRefreshPanel.Controls.Add(this.label1); this.manualRefreshPanel.Controls.Add(this.manualRefreshButton); this.manualRefreshPanel.Dock = System.Windows.Forms.DockStyle.Top; this.manualRefreshPanel.Location = new System.Drawing.Point(0, 0); this.manualRefreshPanel.Name = "manualRefreshPanel"; this.manualRefreshPanel.Size = new System.Drawing.Size(805, 32); this.manualRefreshPanel.TabIndex = 3; // // manualRefreshButton // this.manualRefreshButton.BackColor = System.Drawing.SystemColors.Info; this.manualRefreshButton.Location = new System.Drawing.Point(3, 3); this.manualRefreshButton.Name = "manualRefreshButton"; this.manualRefreshButton.Size = new System.Drawing.Size(72, 26); this.manualRefreshButton.TabIndex = 0; this.manualRefreshButton.Text = "Refresh..."; this.manualRefreshButton.UseVisualStyleBackColor = false; this.manualRefreshButton.Click += new System.EventHandler(this.manualRefreshButton_Click); // // label1 // this.label1.AutoSize = true; this.label1.Location = new System.Drawing.Point(81, 10); this.label1.Name = "label1"; this.label1.Size = new System.Drawing.Size(363, 13); this.label1.TabIndex = 1; this.label1.Text = "Auto refresh has been turned off due to model size; please refresh manually."; // // validationReportControl // this.validationReportControl.Data = null; this.validationReportControl.Dock = System.Windows.Forms.DockStyle.Fill; this.validationReportControl.Image = null; this.validationReportControl.Location = new System.Drawing.Point(0, 32); this.validationReportControl.Name = "validationReportControl"; this.validationReportControl.Size = new System.Drawing.Size(805, 482); this.validationReportControl.TabIndex = 2; this.validationReportControl.ViewInfo = null; // // ValidationView // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.Controls.Add(this.validationReportControl); this.Controls.Add(this.manualRefreshPanel); this.Name = "ValidationView"; this.Size = new System.Drawing.Size(805, 514); this.manualRefreshPanel.ResumeLayout(false); this.manualRefreshPanel.PerformLayout(); this.ResumeLayout(false); } #endregion private ValidationReportControl validationReportControl; private System.Windows.Forms.Timer refreshTimer; private System.Windows.Forms.Panel manualRefreshPanel; private System.Windows.Forms.Button manualRefreshButton; private System.Windows.Forms.Label label1; } }