public static void Detach(WeakTimer t)
{
for (int i = _listeners.Count - 1; i >= 0; i--)
{
WeakReference wr = (WeakReference)_listeners[i];
try
{
if (wr.Target == t)
{
_listeners.RemoveAt(i);
}
}
catch
{
}
}
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
this.components = new Container();
ResourceManager resources = new ResourceManager(typeof (EditViewControl));
this.Filler = new PictureBox();
this.CaretTimer = new WeakTimer(this.components);
this.tooltip = new ToolTip(this.components);
this.SuspendLayout();
if (!_CodeEditor.DisableIntelliMouse)
{
this.IntelliMouse = new IntelliMouseControl();
//
// IntelliMouse
//
this.IntelliMouse.BackgroundImage = ((Bitmap) (resources.GetObject("IntelliMouse.BackgroundImage")));
this.IntelliMouse.Image = ((Bitmap) (resources.GetObject("IntelliMouse.Image")));
this.IntelliMouse.Location = new Point(197, 157);
this.IntelliMouse.Name = "IntelliMouse";
this.IntelliMouse.Size = new Size(28, 28);
this.IntelliMouse.TabIndex = 4;
this.IntelliMouse.TransparencyKey = Color.FromArgb(((Byte) (255)), ((Byte) (0)), ((Byte) (255)));
this.IntelliMouse.Visible = false;
this.IntelliMouse.EndScroll += new EventHandler(this.IntelliMouse_EndScroll);
this.IntelliMouse.BeginScroll += new EventHandler(this.IntelliMouse_BeginScroll);
this.IntelliMouse.Scroll += new ScrollEventHandler(this.IntelliMouse_Scroll);
}
//
// hScroll
//
this.hScroll.Cursor = System.Windows.Forms.Cursors.Default;
this.hScroll.Scroll += new System.Windows.Forms.ScrollEventHandler(this.hScroll_Scroll);
//
// vScroll
//
this.vScroll.Cursor = System.Windows.Forms.Cursors.Default;
this.vScroll.Scroll += new System.Windows.Forms.ScrollEventHandler(this.vScroll_Scroll);
//
// CaretTimer
//
this.CaretTimer.Enabled = true;
this.CaretTimer.Interval = 500;
this.CaretTimer.Tick += new EventHandler(this.CaretTimer_Tick);
//
// tooltip
//
this.tooltip.AutoPopDelay = 50000;
this.tooltip.InitialDelay = 0;
this.tooltip.ReshowDelay = 1000;
this.tooltip.ShowAlways = true;
//
// TopThumb
//
this.TopThumb.BackColor = SystemColors.Control;
this.TopThumb.Cursor = System.Windows.Forms.Cursors.HSplit;
this.TopThumb.Location = new Point(101, 17);
this.TopThumb.Name = "TopThumb";
this.TopThumb.Size = new Size(16, 8);
this.TopThumb.TabIndex = 3;
this.TopThumb.Visible = false;
//
// LeftThumb
//
this.LeftThumb.BackColor = SystemColors.Control;
this.LeftThumb.Cursor = System.Windows.Forms.Cursors.VSplit;
this.LeftThumb.Location = new Point(423, 17);
this.LeftThumb.Name = "LeftThumb";
this.LeftThumb.Size = new Size(8, 16);
this.LeftThumb.TabIndex = 3;
this.LeftThumb.Visible = false;
//
// EditViewControl
//
this.AllowDrop = true;
this.Controls.AddRange(new Control[]
{
this.IntelliMouse
});
this.Size = new Size(240, 216);
this.LostFocus += new EventHandler(this.EditViewControl_Leave);
this.GotFocus += new EventHandler(this.EditViewControl_Enter);
this.ResumeLayout(false);
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
protected void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
System.Resources.ResourceManager resources = new System.Resources.ResourceManager(typeof (IntelliMouseControl));
this.tmrFeedback = new Fireball.Timers.WeakTimer(this.components);
this.picImage = new System.Windows.Forms.PictureBox();
this.regionHandler1 = new Fireball.Windows.Forms.RegionHandler(this.components);
//
// tmrFeedback
//
this.tmrFeedback.Enabled = true;
this.tmrFeedback.Interval = 10;
this.tmrFeedback.Tick += new System.EventHandler(this.tmrFeedback_Tick);
//
// picImage
//
this.picImage.Image = ((System.Drawing.Bitmap) (resources.GetObject("picImage.Image")));
this.picImage.Location = new System.Drawing.Point(17, 17);
this.picImage.Name = "picImage";
this.picImage.TabIndex = 0;
this.picImage.TabStop = false;
//
// regionHandler1
//
this.regionHandler1.Control = null;
this.regionHandler1.MaskImage = null;
this.regionHandler1.TransparencyKey = System.Drawing.Color.FromArgb(((System.Byte) (255)), ((System.Byte) (0)), ((System.Byte) (255)));
//
// IntelliMouseControl
//
this.ParentChanged += new System.EventHandler(this.IntelliMouseControl_ParentChanged);
}
public static void Detach(WeakTimer t)
{
for (int i = _listeners.Count - 1; i >= 0; i--)
{
WeakReference wr = (WeakReference) _listeners[i];
try
{
if (wr.Target == t)
_listeners.RemoveAt(i);
}
catch
{
}
}
}
public static void Attach(WeakTimer t)
{
WeakReference wr = new WeakReference(t);
_listeners.Add(wr);
}
private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(CodeEditorControl));
this._GutterIcons = new System.Windows.Forms.ImageList(this.components);
this._AutoListIcons = new System.Windows.Forms.ImageList(this.components);
this.ParseTimer = new Fireball.Timers.WeakTimer(this.components);
this.SuspendLayout();
//
// _GutterIcons
//
this._GutterIcons.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("_GutterIcons.ImageStream")));
this._GutterIcons.TransparentColor = System.Drawing.Color.Transparent;
this._GutterIcons.Images.SetKeyName(0, "break_point.png");
this._GutterIcons.Images.SetKeyName(1, "");
this._GutterIcons.Images.SetKeyName(2, "");
this._GutterIcons.Images.SetKeyName(3, "");
this._GutterIcons.Images.SetKeyName(4, "");
this._GutterIcons.Images.SetKeyName(5, "");
this._GutterIcons.Images.SetKeyName(6, "");
this._GutterIcons.Images.SetKeyName(7, "");
this._GutterIcons.Images.SetKeyName(8, "");
this._GutterIcons.Images.SetKeyName(9, "");
this._GutterIcons.Images.SetKeyName(10, "");
this._GutterIcons.Images.SetKeyName(11, "");
this._GutterIcons.Images.SetKeyName(12, "");
//
// _AutoListIcons
//
this._AutoListIcons.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("_AutoListIcons.ImageStream")));
this._AutoListIcons.TransparentColor = System.Drawing.Color.Transparent;
this._AutoListIcons.Images.SetKeyName(0, "");
this._AutoListIcons.Images.SetKeyName(1, "");
this._AutoListIcons.Images.SetKeyName(2, "");
this._AutoListIcons.Images.SetKeyName(3, "");
this._AutoListIcons.Images.SetKeyName(4, "");
this._AutoListIcons.Images.SetKeyName(5, "");
this._AutoListIcons.Images.SetKeyName(6, "");
this._AutoListIcons.Images.SetKeyName(7, "");
this._AutoListIcons.Images.SetKeyName(8, "");
//
// ParseTimer
//
this.ParseTimer.Enabled = true;
this.ParseTimer.Interval = 1;
this.ParseTimer.Tick += new System.EventHandler(this.ParseTimer_Tick);
this.ResumeLayout(false);
}
public static void Attach(WeakTimer t)
{
WeakReference wr = new WeakReference(t);
_listeners.Add(wr);
}