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); }