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