private void ViewForm_Load(object sender, System.EventArgs e)
{
this.Left = Owner.Right + 1;
this.Top = Owner.Top;
StrokeTabs.Dock = DockStyle.Fill;
ViewForm_Resize(null, EventArgs.Empty);
if (_prototypes.Count == 0)
{
StrokeTabs.Visible = false;
lblNone.Visible = true;
}
else
{
foreach (Unistroke p in _prototypes)
{
DoubleBufferedTabPage page = new DoubleBufferedTabPage(p.Name);
page.BackColor = SystemColors.Window;
page.Paint += new PaintEventHandler(OnPaintPage);
StrokeTabs.TabPages.Add(page);
}
int tabWidth = 0;
for (int i = 0; i < StrokeTabs.TabCount; i++)
{
Rectangle r = StrokeTabs.GetTabRect(i);
tabWidth += r.Width;
}
this.Width = Math.Max(Width, Math.Min(Screen.PrimaryScreen.WorkingArea.Width / 2, tabWidth + 20));
}
}
private void LoadPropertyTab(string text, object prop, Action propChanged)
{
userDataEditor.Reset();
if (prop is IUserDataContainer)
{
LoadUserData((IUserDataContainer)prop);
}
DoubleBufferedTabPage page = new DoubleBufferedTabPage();
page.Enabled = false;
page.Text = text;
stPropertyGrid1.LoadProperty(prop, propChanged);
}
public void pridajTabPage(String meno)
{
DoubleBufferedTabPage tabPage = new DoubleBufferedTabPage();
tabPage.Name = meno;
tabPage.Text = meno;
tabPage.BackColor = Color.White;
tabPage.AutoScroll = true;
DoubleBufferedPanel panel = new DoubleBufferedPanel();
panel.Location = new Point(0, 0);
panel.Size = new Size(1000, 1000);
panel.Paint += kresli;
panel.MouseDown += MainFormMouseDown;
panel.MouseMove += MainFormMouseMove;
panel.MouseUp += MainFormMouseUp;
tabPage.Controls.Add(panel);
tabControl1.TabPages.Add(tabPage);
}
private void ViewForm_Load(object sender, System.EventArgs e)
{
this.Left = Owner.Right + 1;
this.Top = Owner.Top;
StrokeTabs.Dock = DockStyle.Fill;
ViewForm_Resize(null, EventArgs.Empty);
if (_prototypes.Count == 0)
{
StrokeTabs.Visible = false;
lblNone.Visible = true;
}
else
{
foreach (Unistroke p in _prototypes)
{
DoubleBufferedTabPage page = new DoubleBufferedTabPage(p.Name);
page.BackColor = SystemColors.Window;
page.Paint += new PaintEventHandler(OnPaintPage);
StrokeTabs.TabPages.Add(page);
}
int tabWidth = 0;
for (int i = 0; i < StrokeTabs.TabCount; i++)
{
Rectangle r = StrokeTabs.GetTabRect(i);
tabWidth += r.Width;
}
this.Width = Math.Max(Width, Math.Min(Screen.PrimaryScreen.WorkingArea.Width / 2, tabWidth + 20));
}
}
