public void SelectSizingSide(Gdk.Point localMousePos)
{
Gdk.Size windowSize = Gdk.Size.Empty;
{
int vw, vh;
this._window.GdkWindow.GetSize(out vw, out vh);
windowSize.Width = vw;
windowSize.Height = vh;
}
_isSizingSide = E_SIZING_SIDE.E_NONE;
if (localMousePos.X < _marginSize)
{
_isSizingSide |= E_SIZING_SIDE.E_LEFT_SIDE;
}
else if (localMousePos.X >= windowSize.Width - _marginSize)
{
_isSizingSide |= E_SIZING_SIDE.E_RIGHT_SIDE;
}
if (localMousePos.Y < _marginSize)
{
_isSizingSide |= E_SIZING_SIDE.E_TOP_SIDE;
}
else if (localMousePos.Y >= windowSize.Height - _marginSize)
{
_isSizingSide |= E_SIZING_SIDE.E_BOTTOM_SIDE;
}
}
public void StopResize()
{
_isSizing = false;
_isSizingSide = E_SIZING_SIDE.E_NONE;
}
public void SelectSizingSide(Gdk.Point localMousePos)
{
Gdk.Size windowSize = Gdk.Size.Empty;
{
int vw, vh;
this._window.GdkWindow.GetSize (out vw, out vh);
windowSize.Width = vw;
windowSize.Height = vh;
}
_isSizingSide = E_SIZING_SIDE.E_NONE;
if (localMousePos.X < _marginSize)
_isSizingSide |= E_SIZING_SIDE.E_LEFT_SIDE;
else if (localMousePos.X >= windowSize.Width - _marginSize)
_isSizingSide |= E_SIZING_SIDE.E_RIGHT_SIDE;
if (localMousePos.Y < _marginSize)
_isSizingSide |= E_SIZING_SIDE.E_TOP_SIDE;
else if (localMousePos.Y >= windowSize.Height - _marginSize)
_isSizingSide |= E_SIZING_SIDE.E_BOTTOM_SIDE;
}
public void StopResize()
{
_isSizing = false;
_isSizingSide = E_SIZING_SIDE.E_NONE;
}
