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; }