version 1.2, 1996/09/21 06:23:03 |
version 1.3, 1996/10/14 03:55:13 |
|
|
XtNwidth, &total_width, |
XtNwidth, &total_width, |
NULL); |
NULL); |
|
|
gui.num_rows = (total_height - base_height) / gui.char_height; |
gui.num_rows = (int)(total_height - base_height) / gui.char_height; |
gui.num_cols = (total_width - base_width) / gui.char_width; |
gui.num_cols = (int)(total_width - base_width) / gui.char_width; |
|
|
Rows = gui.num_rows; |
Rows = gui.num_rows; |
Columns = gui.num_cols; |
Columns = gui.num_cols; |
|
|
XtNheight, &height, |
XtNheight, &height, |
NULL); |
NULL); |
|
|
if (event->xmotion.x >= width || event->xmotion.y >= height) |
if (event->xmotion.x >= (int)width || event->xmotion.y >= (int)height) |
return; |
return; |
|
|
/* We do the pull-off when the pointer is in the rightmost 1/4th */ |
/* We do the pull-off when the pointer is in the rightmost 1/4th */ |
if (event->xmotion.x < (width * 3) / 4) |
if (event->xmotion.x < (int)(width * 3) / 4) |
return; |
return; |
|
|
pullright_name = strnsave((char_u *)XtName(menuw), |
pullright_name = strnsave((char_u *)XtName(menuw), |