public VT100Display(VT100.Buffer buf) { m_hs = new HoverScroll(Handle); m_eb = new EventBatcher(UpdateText, TimeSpan.FromMilliseconds(1)) { TriggerOnFirst = true }; m_sty = new Dictionary <VT100.Style, byte>(); m_cells = new Sci.CellBuf(); ContextMenuStrip = new CMenu(this); BlinkTimer = new System.Windows.Forms.Timer { Interval = 1000, Enabled = false }; BlinkTimer.Tick += SignalRefresh; AllowDrop = true; AutoScrollToBottom = true; ScrollToBottomOnInput = true; EndAtLastLine = true; // Use our own context menu UsePopUp = false; // Turn off undo history UndoCollection = false; Buffer = buf; }
public SelectDirectoriesUI() { InitializeComponent(); StartPosition = FormStartPosition.CenterParent; SetupTree(); SetupList(); SetupPathsList(); m_hs = new HoverScroll(m_tree.Handle, m_listbox.Handle); m_listbox.DataSource = new BindingSource { DataSource = Paths }; }
public ZoomScroll() { m_hoverscroll = new HoverScroll(); DoubleBuffered = true; TotalRange = new RangeI(0, 1000); ZoomedRange = TotalRange; VisibleRange = new RangeI(35, 50); MinimumVisibleRangeSize = 20; VisibleRangeColor = Color.FromArgb(unchecked ((int)0x80008000)); VisibleRangeBorderColor = Color.FromArgb(unchecked ((int)0xFF008000)); TrackColor = SystemColors.ControlDark; SetStyle( ControlStyles.OptimizedDoubleBuffer | ControlStyles.AllPaintingInWmPaint | ControlStyles.ResizeRedraw | ControlStyles.Selectable | ControlStyles.UserPaint, true); m_hoverscroll.WindowHandles.Add(Handle); Application.AddMessageFilter(m_hoverscroll); }