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 DataGridViewDbTable(BindingSourceDbTable <Type> table)
{
VirtualMode = true;
AllowDrop = false;
AllowUserToAddRows = false;
AllowUserToDeleteRows = false;
AllowUserToResizeRows = false;
AllowUserToOrderColumns = true;
AutoGenerateColumns = false;
ColumnHeadersVisible = true;
AutoSizeColumnsMode = DataGridViewAutoSizeColumnsMode.None;
ColumnHeadersHeightSizeMode = DataGridViewColumnHeadersHeightSizeMode.AutoSize;
EditMode = DataGridViewEditMode.EditProgrammatically;
RowHeadersBorderStyle = DataGridViewHeaderBorderStyle.Single;
RowHeadersVisible = false;
RowHeadersWidth = 28;
RowHeadersWidthSizeMode = DataGridViewRowHeadersWidthSizeMode.DisableResizing;
SelectionMode = DataGridViewSelectionMode.FullRowSelect;
RowsDefaultCellStyle = new DataGridViewCellStyle {
Alignment = DataGridViewContentAlignment.TopLeft, WrapMode = DataGridViewTriState.True,
};
ReadOnly = true;
m_eb_update = new EventBatcher(() =>
{
if (DataSource == null)
{
return;
}
DataSource.UpdateIfNecessary();
Refresh();
}, TimeSpan.FromMilliseconds(10));
DataSource = table;
}
