void _flex_MouseMove(object sender, System.Windows.Forms.MouseEventArgs e)
{
if (_colResize > -1)
{
// user canceled resizing
if (_flex.Cursor == Cursors.Default)
{
_colResize = -1;
_tip.SetToolTip(_flex, null);
return;
}
// update tooltip
int width = _flex.Cols[_colResize].WidthDisplay;
width += Control.MousePosition.X - _startX;
if (width < 0)
{
width = 0;
}
string tip = string.Format("{0} pixels", width);
if (tip != _tip.GetToolTip(_flex))
{
_tip.SetToolTip(_flex, tip);
}
}
}