void handleMotionNotifyEvent(XMotionEvent e, XWindow window, XWindow root, XWindow subwindow)
{
}
public void HandleMotionNotify(XMotionEvent e, XWindow window, XWindow root, XWindow subwindow)
{
int xdiff = e.x_root - start.x_root;
int ydiff = e.y_root - start.y_root;
if ((e.window == resize_top_left_win.ID) || (e.window == resize_bottom_left_win.ID) || (e.window == resize_top_right_win.ID) || (e.window == resize_bottom_right_win.ID)) {
if (e.window == resize_top_left_win.ID)
ResizeTopLeft (xdiff, ydiff); else if (e.window == resize_bottom_left_win.ID)
ResizeBottomLeft (xdiff, ydiff); else if (e.window == resize_top_right_win.ID)
ResizeTopRight (xdiff, ydiff); else if (e.window == resize_bottom_right_win.ID)
ResizeBottomRight (xdiff, ydiff);
if (resize_win_width < min_size || resize_win_height < min_size)
return;
resize_main_win.MoveResize (new Rectangle (resize_win_x, resize_win_y, resize_win_width, resize_win_height));
DrawClock ();
PlaceHandles ();
} else if (e.window == resize_main_win.ID) {
int x = old_resize_x + (e.x_root - start.x_root);
int y = old_resize_y + (e.y_root - start.y_root);
resize_main_win.Move (new Point (x, y));
resize_win_x = x;
resize_win_y = y;
}
}
void handleClientMotionNotifyEvent(XMotionEvent e, Client c)
{
}