stjr/UltimateZoneBuilder
0
0
Fork 0
mirror of https://git.do.srb2.org/STJr/UltimateZoneBuilder.git synced 2025-06-04 19:01:18 +00:00
Code Issues Projects Releases Packages Wiki Activity

Preferences: moved Script Editor settings to a separate page, added a bunch of new Script Editor settings.

Browse source 
Changed: Script Editor no longer converts typed constants to uppercase.
Changed: when "Auto indent" is enabled, Script Editor no longer adds additional indentation to a line after closing brace.
This commit is contained in:
MaxED 2016-01-29 13:05:28 +00:00
parent 91acd2b665
commit e29eef320c
12 changed files with 1422 additions and 423 deletions
Download patch file Download diff file Expand all files Collapse all files

68
Source/Core/Controls/ScriptEditorPreviewControl.Designer.cs generated Normal file
View file

@ -0,0 +1,68 @@
namespace CodeImp.DoomBuilder.Controls
{
partial class ScriptEditorPreviewControl
{
/// <summary>
/// Required designer variable.
/// </summary>
private System.ComponentModel.IContainer components = null;
/// <summary>
/// Clean up any resources being used.
/// </summary>
/// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
protected override void Dispose(bool disposing)
{
if(disposing && (components != null))
{
components.Dispose();
}
base.Dispose(disposing);
}
#region Component Designer generated code
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.scriptedit = new ScintillaNET.Scintilla();
this.SuspendLayout();
//
// scriptedit
//
this.scriptedit.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
this.scriptedit.CaretWidth = 2;
this.scriptedit.Dock = System.Windows.Forms.DockStyle.Fill;
this.scriptedit.ExtraAscent = 1;
this.scriptedit.ExtraDescent = 1;
this.scriptedit.FontQuality = ScintillaNET.FontQuality.LcdOptimized;
this.scriptedit.Location = new System.Drawing.Point(0, 0);
this.scriptedit.Name = "scriptedit";
this.scriptedit.ScrollWidth = 200;
this.scriptedit.Size = new System.Drawing.Size(300, 150);
this.scriptedit.TabIndex = 1;
this.scriptedit.TabStop = false;
this.scriptedit.UseTabs = true;
this.scriptedit.ViewWhitespace = ScintillaNET.WhitespaceMode.VisibleAlways;
this.scriptedit.WhitespaceSize = 2;
this.scriptedit.UpdateUI += new System.EventHandler<ScintillaNET.UpdateUIEventArgs>(this.scriptedit_UpdateUI);
//
// ScriptEditorPreviewControl
//
this.AutoScaleDimensions = new System.Drawing.SizeF(96F, 96F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Dpi;
this.Controls.Add(this.scriptedit);
this.Name = "ScriptEditorPreviewControl";
this.Size = new System.Drawing.Size(300, 150);
this.ResumeLayout(false);
}
#endregion
private ScintillaNET.Scintilla scriptedit;
}
}