public TabControl ()
{
tab_pages = new TabPageCollection (this);
SetStyle (ControlStyles.UserPaint, false);
padding = new System.Drawing.Point(5,5);//ThemeEngine.Current.TabControlDefaultPadding;
//MouseDown += new MouseEventHandler (MouseDownHandler);
//MouseLeave += new EventHandler (OnMouseLeave);
//MouseMove += new MouseEventHandler (OnMouseMove);
//MouseUp += new MouseEventHandler (MouseUpHandler);
SizeChanged += new EventHandler (SizeChangedHandler);
}