corrade-vassal

Subversion Repositories:
Compare Path: Rev
With Path: Rev
?path1? @ 2  →  ?path2? @ 3
/Vassal/Vassal/VassalForm.Designer.cs
@@ -56,6 +56,10 @@
this.groupBox2 = new System.Windows.Forms.GroupBox();
this.Agents = new System.Windows.Forms.Label();
this.TopScriptsTab = new System.Windows.Forms.TabPage();
this.label1 = new System.Windows.Forms.Label();
this.TopScriptsFilter = new System.Windows.Forms.TextBox();
this.ReturnTopScriptsButton = new System.Windows.Forms.Button();
this.button3 = new System.Windows.Forms.Button();
this.TopScriptsGridView = new System.Windows.Forms.DataGridView();
this.TopScriptsScore = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.TopScriptsTaskName = new System.Windows.Forms.DataGridViewTextBoxColumn();
@@ -63,6 +67,10 @@
this.TopScriptsOwner = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.TopScriptsPosition = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.TopCollidersTab = new System.Windows.Forms.TabPage();
this.label2 = new System.Windows.Forms.Label();
this.TopCollidersFilter = new System.Windows.Forms.TextBox();
this.ReturnTopCollidersButton = new System.Windows.Forms.Button();
this.button5 = new System.Windows.Forms.Button();
this.TopCollidersGridView = new System.Windows.Forms.DataGridView();
this.TopCollidersScore = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.TopCollidersTaskName = new System.Windows.Forms.DataGridViewTextBoxColumn();
@@ -69,10 +77,14 @@
this.TopCollidersUUID = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.TopCollidersOwner = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.TopCollidersPosition = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.BatchRestartTab = new System.Windows.Forms.TabPage();
this.BatchRestartButton = new System.Windows.Forms.Button();
this.BatchRestartGridView = new System.Windows.Forms.DataGridView();
this.BatchRestartRegionName = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.BatchRestartPosition = new System.Windows.Forms.DataGridViewTextBoxColumn();
this.statusStrip1 = new System.Windows.Forms.StatusStrip();
this.StatusProgress = new System.Windows.Forms.ToolStripProgressBar();
this.StatusText = new System.Windows.Forms.ToolStripStatusLabel();
this.groupBox1 = new System.Windows.Forms.GroupBox();
this.button1 = new System.Windows.Forms.Button();
this.button2 = new System.Windows.Forms.Button();
this.RegionTeleportGroup = new System.Windows.Forms.GroupBox();
@@ -79,6 +91,9 @@
this.LoadedRegions = new System.Windows.Forms.ComboBox();
this.CurrentRegionName = new System.Windows.Forms.Label();
this.CurrentRegionAt = new System.Windows.Forms.Label();
this.ExportCSVDialog = new System.Windows.Forms.SaveFileDialog();
this.groupBox1 = new System.Windows.Forms.GroupBox();
this.Version = new System.Windows.Forms.Label();
((System.ComponentModel.ISupportInitialize)(this.pictureBox1)).BeginInit();
this.Tabs.SuspendLayout();
this.OverviewTab.SuspendLayout();
@@ -96,9 +111,11 @@
((System.ComponentModel.ISupportInitialize)(this.TopScriptsGridView)).BeginInit();
this.TopCollidersTab.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.TopCollidersGridView)).BeginInit();
this.BatchRestartTab.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.BatchRestartGridView)).BeginInit();
this.statusStrip1.SuspendLayout();
this.RegionTeleportGroup.SuspendLayout();
this.groupBox1.SuspendLayout();
this.RegionTeleportGroup.SuspendLayout();
this.SuspendLayout();
//
// pictureBox1
@@ -105,9 +122,9 @@
//
this.pictureBox1.BackgroundImage = ((System.Drawing.Image)(resources.GetObject("pictureBox1.BackgroundImage")));
this.pictureBox1.BackgroundImageLayout = System.Windows.Forms.ImageLayout.Stretch;
this.pictureBox1.Location = new System.Drawing.Point(35, 12);
this.pictureBox1.Location = new System.Drawing.Point(17, 12);
this.pictureBox1.Name = "pictureBox1";
this.pictureBox1.Size = new System.Drawing.Size(636, 177);
this.pictureBox1.Size = new System.Drawing.Size(477, 140);
this.pictureBox1.TabIndex = 0;
this.pictureBox1.TabStop = false;
//
@@ -116,10 +133,11 @@
this.Tabs.Controls.Add(this.OverviewTab);
this.Tabs.Controls.Add(this.TopScriptsTab);
this.Tabs.Controls.Add(this.TopCollidersTab);
this.Tabs.Location = new System.Drawing.Point(13, 235);
this.Tabs.Controls.Add(this.BatchRestartTab);
this.Tabs.Location = new System.Drawing.Point(13, 186);
this.Tabs.Name = "Tabs";
this.Tabs.SelectedIndex = 0;
this.Tabs.Size = new System.Drawing.Size(679, 381);
this.Tabs.Size = new System.Drawing.Size(679, 430);
this.Tabs.TabIndex = 1;
this.Tabs.Selecting += new System.Windows.Forms.TabControlCancelEventHandler(this.RequestSelecting);
//
@@ -137,7 +155,7 @@
this.OverviewTab.Location = new System.Drawing.Point(4, 22);
this.OverviewTab.Name = "OverviewTab";
this.OverviewTab.Padding = new System.Windows.Forms.Padding(3);
this.OverviewTab.Size = new System.Drawing.Size(671, 355);
this.OverviewTab.Size = new System.Drawing.Size(671, 404);
this.OverviewTab.TabIndex = 0;
this.OverviewTab.Text = "Overview";
this.OverviewTab.UseVisualStyleBackColor = true;
@@ -147,7 +165,7 @@
this.groupBox10.Controls.Add(this.RegionAvatarsMap);
this.groupBox10.Location = new System.Drawing.Point(6, 6);
this.groupBox10.Name = "groupBox10";
this.groupBox10.Size = new System.Drawing.Size(340, 340);
this.groupBox10.Size = new System.Drawing.Size(390, 390);
this.groupBox10.TabIndex = 9;
this.groupBox10.TabStop = false;
this.groupBox10.Text = "Map and Avatars";
@@ -154,9 +172,10 @@
//
// RegionAvatarsMap
//
this.RegionAvatarsMap.BackColor = System.Drawing.Color.Black;
this.RegionAvatarsMap.Location = new System.Drawing.Point(12, 14);
this.RegionAvatarsMap.Name = "RegionAvatarsMap";
this.RegionAvatarsMap.Size = new System.Drawing.Size(320, 320);
this.RegionAvatarsMap.Size = new System.Drawing.Size(372, 372);
this.RegionAvatarsMap.SizeMode = System.Windows.Forms.PictureBoxSizeMode.StretchImage;
this.RegionAvatarsMap.TabIndex = 0;
this.RegionAvatarsMap.TabStop = false;
@@ -165,7 +184,7 @@
//
this.groupBox9.Controls.Add(this.Objects);
this.groupBox9.Font = new System.Drawing.Font("Palatino Linotype", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.groupBox9.Location = new System.Drawing.Point(503, 174);
this.groupBox9.Location = new System.Drawing.Point(531, 206);
this.groupBox9.Name = "groupBox9";
this.groupBox9.Size = new System.Drawing.Size(107, 49);
this.groupBox9.TabIndex = 8;
@@ -176,7 +195,7 @@
//
this.Objects.AutoSize = true;
this.Objects.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.Objects.Location = new System.Drawing.Point(15, 22);
this.Objects.Location = new System.Drawing.Point(9, 22);
this.Objects.Name = "Objects";
this.Objects.Size = new System.Drawing.Size(25, 13);
this.Objects.TabIndex = 0;
@@ -186,7 +205,7 @@
//
this.groupBox8.Controls.Add(this.ScriptTime);
this.groupBox8.Font = new System.Drawing.Font("Palatino Linotype", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.groupBox8.Location = new System.Drawing.Point(390, 174);
this.groupBox8.Location = new System.Drawing.Point(418, 206);
this.groupBox8.Name = "groupBox8";
this.groupBox8.Size = new System.Drawing.Size(107, 49);
this.groupBox8.TabIndex = 7;
@@ -197,7 +216,7 @@
//
this.ScriptTime.AutoSize = true;
this.ScriptTime.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.ScriptTime.Location = new System.Drawing.Point(6, 22);
this.ScriptTime.Location = new System.Drawing.Point(12, 22);
this.ScriptTime.Name = "ScriptTime";
this.ScriptTime.Size = new System.Drawing.Size(25, 13);
this.ScriptTime.TabIndex = 0;
@@ -207,7 +226,7 @@
//
this.groupBox7.Controls.Add(this.ActiveScripts);
this.groupBox7.Font = new System.Drawing.Font("Palatino Linotype", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.groupBox7.Location = new System.Drawing.Point(503, 229);
this.groupBox7.Location = new System.Drawing.Point(531, 261);
this.groupBox7.Name = "groupBox7";
this.groupBox7.Size = new System.Drawing.Size(107, 49);
this.groupBox7.TabIndex = 6;
@@ -218,7 +237,7 @@
//
this.ActiveScripts.AutoSize = true;
this.ActiveScripts.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.ActiveScripts.Location = new System.Drawing.Point(6, 22);
this.ActiveScripts.Location = new System.Drawing.Point(9, 22);
this.ActiveScripts.Name = "ActiveScripts";
this.ActiveScripts.Size = new System.Drawing.Size(25, 13);
this.ActiveScripts.TabIndex = 0;
@@ -228,7 +247,7 @@
//
this.groupBox6.Controls.Add(this.PhysicsFPS);
this.groupBox6.Font = new System.Drawing.Font("Palatino Linotype", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.groupBox6.Location = new System.Drawing.Point(503, 119);
this.groupBox6.Location = new System.Drawing.Point(531, 151);
this.groupBox6.Name = "groupBox6";
this.groupBox6.Size = new System.Drawing.Size(107, 49);
this.groupBox6.TabIndex = 5;
@@ -249,7 +268,7 @@
//
this.groupBox5.Controls.Add(this.FPS);
this.groupBox5.Font = new System.Drawing.Font("Palatino Linotype", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.groupBox5.Location = new System.Drawing.Point(390, 119);
this.groupBox5.Location = new System.Drawing.Point(418, 151);
this.groupBox5.Name = "groupBox5";
this.groupBox5.Size = new System.Drawing.Size(107, 49);
this.groupBox5.TabIndex = 4;
@@ -260,7 +279,7 @@
//
this.FPS.AutoSize = true;
this.FPS.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.FPS.Location = new System.Drawing.Point(6, 22);
this.FPS.Location = new System.Drawing.Point(12, 22);
this.FPS.Name = "FPS";
this.FPS.Size = new System.Drawing.Size(25, 13);
this.FPS.TabIndex = 0;
@@ -270,7 +289,7 @@
//
this.groupBox4.Controls.Add(this.Dilation);
this.groupBox4.Font = new System.Drawing.Font("Palatino Linotype", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.groupBox4.Location = new System.Drawing.Point(503, 64);
this.groupBox4.Location = new System.Drawing.Point(531, 96);
this.groupBox4.Name = "groupBox4";
this.groupBox4.Size = new System.Drawing.Size(107, 49);
this.groupBox4.TabIndex = 3;
@@ -291,7 +310,7 @@
//
this.groupBox3.Controls.Add(this.LastLag);
this.groupBox3.Font = new System.Drawing.Font("Palatino Linotype", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.groupBox3.Location = new System.Drawing.Point(390, 229);
this.groupBox3.Location = new System.Drawing.Point(418, 261);
this.groupBox3.Name = "groupBox3";
this.groupBox3.Size = new System.Drawing.Size(107, 49);
this.groupBox3.TabIndex = 2;
@@ -302,7 +321,7 @@
//
this.LastLag.AutoSize = true;
this.LastLag.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.LastLag.Location = new System.Drawing.Point(6, 22);
this.LastLag.Location = new System.Drawing.Point(12, 22);
this.LastLag.Name = "LastLag";
this.LastLag.Size = new System.Drawing.Size(25, 13);
this.LastLag.TabIndex = 0;
@@ -312,7 +331,7 @@
//
this.groupBox2.Controls.Add(this.Agents);
this.groupBox2.Font = new System.Drawing.Font("Palatino Linotype", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.groupBox2.Location = new System.Drawing.Point(390, 64);
this.groupBox2.Location = new System.Drawing.Point(418, 96);
this.groupBox2.Name = "groupBox2";
this.groupBox2.Size = new System.Drawing.Size(107, 49);
this.groupBox2.TabIndex = 1;
@@ -323,7 +342,7 @@
//
this.Agents.AutoSize = true;
this.Agents.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.Agents.Location = new System.Drawing.Point(6, 22);
this.Agents.Location = new System.Drawing.Point(12, 22);
this.Agents.Name = "Agents";
this.Agents.Size = new System.Drawing.Size(25, 13);
this.Agents.TabIndex = 0;
@@ -331,14 +350,55 @@
//
// TopScriptsTab
//
this.TopScriptsTab.Controls.Add(this.label1);
this.TopScriptsTab.Controls.Add(this.TopScriptsFilter);
this.TopScriptsTab.Controls.Add(this.ReturnTopScriptsButton);
this.TopScriptsTab.Controls.Add(this.button3);
this.TopScriptsTab.Controls.Add(this.TopScriptsGridView);
this.TopScriptsTab.Location = new System.Drawing.Point(4, 22);
this.TopScriptsTab.Name = "TopScriptsTab";
this.TopScriptsTab.Size = new System.Drawing.Size(671, 355);
this.TopScriptsTab.Size = new System.Drawing.Size(671, 404);
this.TopScriptsTab.TabIndex = 1;
this.TopScriptsTab.Text = "Top Scripts";
this.TopScriptsTab.UseVisualStyleBackColor = true;
//
// label1
//
this.label1.AutoSize = true;
this.label1.Location = new System.Drawing.Point(5, 380);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(32, 13);
this.label1.TabIndex = 7;
this.label1.Text = "Filter:";
//
// TopScriptsFilter
//
this.TopScriptsFilter.Location = new System.Drawing.Point(43, 377);
this.TopScriptsFilter.Name = "TopScriptsFilter";
this.TopScriptsFilter.Size = new System.Drawing.Size(196, 20);
this.TopScriptsFilter.TabIndex = 6;
this.TopScriptsFilter.TextChanged += new System.EventHandler(this.RequestFilterTopScripts);
//
// ReturnTopScriptsButton
//
this.ReturnTopScriptsButton.Location = new System.Drawing.Point(500, 374);
this.ReturnTopScriptsButton.Name = "ReturnTopScriptsButton";
this.ReturnTopScriptsButton.Size = new System.Drawing.Size(86, 23);
this.ReturnTopScriptsButton.TabIndex = 2;
this.ReturnTopScriptsButton.Text = "Return Objects";
this.ReturnTopScriptsButton.UseVisualStyleBackColor = true;
this.ReturnTopScriptsButton.Click += new System.EventHandler(this.RequestReturnTopScriptsObjects);
//
// button3
//
this.button3.Location = new System.Drawing.Point(592, 374);
this.button3.Name = "button3";
this.button3.Size = new System.Drawing.Size(75, 23);
this.button3.TabIndex = 1;
this.button3.Text = "Export...";
this.button3.UseVisualStyleBackColor = true;
this.button3.Click += new System.EventHandler(this.RequestExportTopScripts);
//
// TopScriptsGridView
//
this.TopScriptsGridView.AllowUserToAddRows = false;
@@ -354,7 +414,7 @@
this.TopScriptsGridView.Location = new System.Drawing.Point(4, 4);
this.TopScriptsGridView.Name = "TopScriptsGridView";
this.TopScriptsGridView.ReadOnly = true;
this.TopScriptsGridView.Size = new System.Drawing.Size(663, 348);
this.TopScriptsGridView.Size = new System.Drawing.Size(663, 364);
this.TopScriptsGridView.TabIndex = 0;
//
// TopScriptsScore
@@ -394,14 +454,55 @@
//
// TopCollidersTab
//
this.TopCollidersTab.Controls.Add(this.label2);
this.TopCollidersTab.Controls.Add(this.TopCollidersFilter);
this.TopCollidersTab.Controls.Add(this.ReturnTopCollidersButton);
this.TopCollidersTab.Controls.Add(this.button5);
this.TopCollidersTab.Controls.Add(this.TopCollidersGridView);
this.TopCollidersTab.Location = new System.Drawing.Point(4, 22);
this.TopCollidersTab.Name = "TopCollidersTab";
this.TopCollidersTab.Size = new System.Drawing.Size(671, 355);
this.TopCollidersTab.Size = new System.Drawing.Size(671, 404);
this.TopCollidersTab.TabIndex = 2;
this.TopCollidersTab.Text = "Top Colliders";
this.TopCollidersTab.UseVisualStyleBackColor = true;
//
// label2
//
this.label2.AutoSize = true;
this.label2.Location = new System.Drawing.Point(5, 380);
this.label2.Name = "label2";
this.label2.Size = new System.Drawing.Size(32, 13);
this.label2.TabIndex = 9;
this.label2.Text = "Filter:";
//
// TopCollidersFilter
//
this.TopCollidersFilter.Location = new System.Drawing.Point(43, 377);
this.TopCollidersFilter.Name = "TopCollidersFilter";
this.TopCollidersFilter.Size = new System.Drawing.Size(196, 20);
this.TopCollidersFilter.TabIndex = 8;
this.TopCollidersFilter.TextChanged += new System.EventHandler(this.RequestFilterTopColliders);
//
// ReturnTopCollidersButton
//
this.ReturnTopCollidersButton.Location = new System.Drawing.Point(500, 374);
this.ReturnTopCollidersButton.Name = "ReturnTopCollidersButton";
this.ReturnTopCollidersButton.Size = new System.Drawing.Size(86, 23);
this.ReturnTopCollidersButton.TabIndex = 3;
this.ReturnTopCollidersButton.Text = "Return Objects";
this.ReturnTopCollidersButton.UseVisualStyleBackColor = true;
this.ReturnTopCollidersButton.Click += new System.EventHandler(this.RequestReturnTopCollidersObjects);
//
// button5
//
this.button5.Location = new System.Drawing.Point(592, 374);
this.button5.Name = "button5";
this.button5.Size = new System.Drawing.Size(75, 23);
this.button5.TabIndex = 2;
this.button5.Text = "Export...";
this.button5.UseVisualStyleBackColor = true;
this.button5.Click += new System.EventHandler(this.RequestExportTopColliders);
//
// TopCollidersGridView
//
this.TopCollidersGridView.AllowUserToAddRows = false;
@@ -416,7 +517,7 @@
this.TopCollidersPosition});
this.TopCollidersGridView.Location = new System.Drawing.Point(4, 4);
this.TopCollidersGridView.Name = "TopCollidersGridView";
this.TopCollidersGridView.Size = new System.Drawing.Size(663, 348);
this.TopCollidersGridView.Size = new System.Drawing.Size(663, 364);
this.TopCollidersGridView.TabIndex = 0;
//
// TopCollidersScore
@@ -449,6 +550,58 @@
this.TopCollidersPosition.HeaderText = "Position";
this.TopCollidersPosition.Name = "TopCollidersPosition";
//
// BatchRestartTab
//
this.BatchRestartTab.Controls.Add(this.BatchRestartButton);
this.BatchRestartTab.Controls.Add(this.BatchRestartGridView);
this.BatchRestartTab.Location = new System.Drawing.Point(4, 22);
this.BatchRestartTab.Name = "BatchRestartTab";
this.BatchRestartTab.Size = new System.Drawing.Size(671, 404);
this.BatchRestartTab.TabIndex = 3;
this.BatchRestartTab.Text = "Batch Restart";
this.BatchRestartTab.UseVisualStyleBackColor = true;
//
// BatchRestartButton
//
this.BatchRestartButton.Location = new System.Drawing.Point(285, 374);
this.BatchRestartButton.Name = "BatchRestartButton";
this.BatchRestartButton.Size = new System.Drawing.Size(95, 23);
this.BatchRestartButton.TabIndex = 1;
this.BatchRestartButton.Text = "Batch Restart";
this.BatchRestartButton.UseVisualStyleBackColor = true;
this.BatchRestartButton.Click += new System.EventHandler(this.RequestBatchRestart);
//
// BatchRestartGridView
//
this.BatchRestartGridView.AllowUserToAddRows = false;
this.BatchRestartGridView.AllowUserToDeleteRows = false;
this.BatchRestartGridView.AllowUserToOrderColumns = true;
this.BatchRestartGridView.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
this.BatchRestartGridView.Columns.AddRange(new System.Windows.Forms.DataGridViewColumn[] {
this.BatchRestartRegionName,
this.BatchRestartPosition});
this.BatchRestartGridView.Location = new System.Drawing.Point(4, 4);
this.BatchRestartGridView.Name = "BatchRestartGridView";
this.BatchRestartGridView.ReadOnly = true;
this.BatchRestartGridView.Size = new System.Drawing.Size(663, 364);
this.BatchRestartGridView.TabIndex = 0;
//
// BatchRestartRegionName
//
this.BatchRestartRegionName.AutoSizeMode = System.Windows.Forms.DataGridViewAutoSizeColumnMode.Fill;
this.BatchRestartRegionName.HeaderText = "Region Name";
this.BatchRestartRegionName.Name = "BatchRestartRegionName";
this.BatchRestartRegionName.ReadOnly = true;
this.BatchRestartRegionName.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.Programmatic;
//
// BatchRestartPosition
//
this.BatchRestartPosition.AutoSizeMode = System.Windows.Forms.DataGridViewAutoSizeColumnMode.Fill;
this.BatchRestartPosition.HeaderText = "Position";
this.BatchRestartPosition.Name = "BatchRestartPosition";
this.BatchRestartPosition.ReadOnly = true;
this.BatchRestartPosition.SortMode = System.Windows.Forms.DataGridViewColumnSortMode.Programmatic;
//
// statusStrip1
//
this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
@@ -471,30 +624,19 @@
this.StatusText.Size = new System.Drawing.Size(10, 17);
this.StatusText.Text = " ";
//
// groupBox1
//
this.groupBox1.Controls.Add(this.button1);
this.groupBox1.Font = new System.Drawing.Font("Palatino Linotype", 8.25F);
this.groupBox1.Location = new System.Drawing.Point(301, 196);
this.groupBox1.Name = "groupBox1";
this.groupBox1.Size = new System.Drawing.Size(115, 55);
this.groupBox1.TabIndex = 3;
this.groupBox1.TabStop = false;
this.groupBox1.Text = "Settings";
//
// button1
//
this.button1.Location = new System.Drawing.Point(6, 21);
this.button1.Location = new System.Drawing.Point(6, 23);
this.button1.Name = "button1";
this.button1.Size = new System.Drawing.Size(103, 23);
this.button1.Size = new System.Drawing.Size(66, 23);
this.button1.TabIndex = 8;
this.button1.Text = "Configure...";
this.button1.Text = "Settings...";
this.button1.UseVisualStyleBackColor = true;
this.button1.Click += new System.EventHandler(this.SettingsRequested);
//
// button2
//
this.button2.Location = new System.Drawing.Point(206, 20);
this.button2.Location = new System.Drawing.Point(6, 49);
this.button2.Name = "button2";
this.button2.Size = new System.Drawing.Size(56, 23);
this.button2.TabIndex = 7;
@@ -507,9 +649,9 @@
this.RegionTeleportGroup.Controls.Add(this.button2);
this.RegionTeleportGroup.Controls.Add(this.LoadedRegions);
this.RegionTeleportGroup.Font = new System.Drawing.Font("Palatino Linotype", 8.25F);
this.RegionTeleportGroup.Location = new System.Drawing.Point(422, 200);
this.RegionTeleportGroup.Location = new System.Drawing.Point(502, 73);
this.RegionTeleportGroup.Name = "RegionTeleportGroup";
this.RegionTeleportGroup.Size = new System.Drawing.Size(266, 51);
this.RegionTeleportGroup.Size = new System.Drawing.Size(190, 79);
this.RegionTeleportGroup.TabIndex = 4;
this.RegionTeleportGroup.TabStop = false;
this.RegionTeleportGroup.Text = "Region Teleport";
@@ -522,7 +664,7 @@
this.LoadedRegions.FormattingEnabled = true;
this.LoadedRegions.Location = new System.Drawing.Point(6, 21);
this.LoadedRegions.Name = "LoadedRegions";
this.LoadedRegions.Size = new System.Drawing.Size(194, 21);
this.LoadedRegions.Size = new System.Drawing.Size(180, 21);
this.LoadedRegions.Sorted = true;
this.LoadedRegions.TabIndex = 0;
this.LoadedRegions.SelectedIndexChanged += new System.EventHandler(this.RegionSelected);
@@ -531,7 +673,7 @@
//
this.CurrentRegionName.AutoSize = true;
this.CurrentRegionName.Font = new System.Drawing.Font("Palatino Linotype", 15.75F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.CurrentRegionName.Location = new System.Drawing.Point(30, 200);
this.CurrentRegionName.Location = new System.Drawing.Point(223, 155);
this.CurrentRegionName.Name = "CurrentRegionName";
this.CurrentRegionName.Size = new System.Drawing.Size(154, 28);
this.CurrentRegionName.TabIndex = 7;
@@ -541,7 +683,7 @@
// CurrentRegionAt
//
this.CurrentRegionAt.AutoSize = true;
this.CurrentRegionAt.Location = new System.Drawing.Point(17, 209);
this.CurrentRegionAt.Location = new System.Drawing.Point(201, 155);
this.CurrentRegionAt.Name = "CurrentRegionAt";
this.CurrentRegionAt.Size = new System.Drawing.Size(16, 13);
this.CurrentRegionAt.TabIndex = 8;
@@ -548,11 +690,37 @@
this.CurrentRegionAt.Text = "at";
this.CurrentRegionAt.Visible = false;
//
// ExportCSVDialog
//
this.ExportCSVDialog.Filter = "CSV (*.csv)|*.csv|All files (*.*)|*.*";
//
// groupBox1
//
this.groupBox1.Controls.Add(this.button1);
this.groupBox1.Font = new System.Drawing.Font("Palatino Linotype", 8.25F);
this.groupBox1.Location = new System.Drawing.Point(500, 12);
this.groupBox1.Name = "groupBox1";
this.groupBox1.Size = new System.Drawing.Size(192, 55);
this.groupBox1.TabIndex = 3;
this.groupBox1.TabStop = false;
this.groupBox1.Text = "Settings";
//
// Version
//
this.Version.AutoSize = true;
this.Version.Font = new System.Drawing.Font("Consolas", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.Version.Location = new System.Drawing.Point(262, 132);
this.Version.Name = "Version";
this.Version.Size = new System.Drawing.Size(97, 13);
this.Version.TabIndex = 9;
this.Version.Text = " ";
//
// Vassal
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(704, 641);
this.Controls.Add(this.Version);
this.Controls.Add(this.CurrentRegionAt);
this.Controls.Add(this.CurrentRegionName);
this.Controls.Add(this.RegionTeleportGroup);
@@ -560,7 +728,10 @@
this.Controls.Add(this.statusStrip1);
this.Controls.Add(this.Tabs);
this.Controls.Add(this.pictureBox1);
this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedSingle;
this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
this.MaximizeBox = false;
this.MaximumSize = new System.Drawing.Size(720, 680);
this.Name = "Vassal";
this.Text = "Vassal";
this.Shown += new System.EventHandler(this.VassalShown);
@@ -586,13 +757,17 @@
this.groupBox2.ResumeLayout(false);
this.groupBox2.PerformLayout();
this.TopScriptsTab.ResumeLayout(false);
this.TopScriptsTab.PerformLayout();
((System.ComponentModel.ISupportInitialize)(this.TopScriptsGridView)).EndInit();
this.TopCollidersTab.ResumeLayout(false);
this.TopCollidersTab.PerformLayout();
((System.ComponentModel.ISupportInitialize)(this.TopCollidersGridView)).EndInit();
this.BatchRestartTab.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.BatchRestartGridView)).EndInit();
this.statusStrip1.ResumeLayout(false);
this.statusStrip1.PerformLayout();
this.RegionTeleportGroup.ResumeLayout(false);
this.groupBox1.ResumeLayout(false);
this.RegionTeleportGroup.ResumeLayout(false);
this.ResumeLayout(false);
this.PerformLayout();
 
@@ -606,7 +781,6 @@
private StatusStrip statusStrip1;
private ToolStripProgressBar StatusProgress;
private ToolStripStatusLabel StatusText;
private GroupBox groupBox1;
private Button button2;
private GroupBox RegionTeleportGroup;
public ComboBox LoadedRegions;
@@ -645,6 +819,22 @@
private DataGridViewTextBoxColumn TopCollidersUUID;
private DataGridViewTextBoxColumn TopCollidersOwner;
private DataGridViewTextBoxColumn TopCollidersPosition;
private Button ReturnTopScriptsButton;
private Button button3;
private TabPage BatchRestartTab;
private SaveFileDialog ExportCSVDialog;
private Button button5;
private Button ReturnTopCollidersButton;
private Label label1;
private TextBox TopScriptsFilter;
private Label label2;
private TextBox TopCollidersFilter;
private Button BatchRestartButton;
public DataGridView BatchRestartGridView;
private DataGridViewTextBoxColumn BatchRestartRegionName;
private DataGridViewTextBoxColumn BatchRestartPosition;
private GroupBox groupBox1;
private Label Version;
}
}