534 |
/* The width of the area where the vertical line can be dragged. |
/* The width of the area where the vertical line can be dragged. |
535 |
(Between mode lines for instance. */ |
(Between mode lines for instance. */ |
536 |
int grabbable_width = ux; |
int grabbable_width = ux; |
537 |
|
int lmargin_width = 0, rmargin_width = 0; |
538 |
|
|
539 |
if (*x < x0 || *x >= x1) |
if (*x < x0 || *x >= x1) |
540 |
return ON_NOTHING; |
return ON_NOTHING; |
629 |
} |
} |
630 |
else |
else |
631 |
{ |
{ |
632 |
if (*x <= window_box_right (w, LEFT_MARGIN_AREA)) |
lmargin_width = window_box_width (w, LEFT_MARGIN_AREA); |
633 |
|
rmargin_width = window_box_width (w, RIGHT_MARGIN_AREA); |
634 |
|
/* You can never be on a margin area if its width is zero. */ |
635 |
|
if (lmargin_width |
636 |
|
&& *x <= window_box_right (w, LEFT_MARGIN_AREA)) |
637 |
part = ON_LEFT_MARGIN; |
part = ON_LEFT_MARGIN; |
638 |
else if (*x >= window_box_left (w, RIGHT_MARGIN_AREA)) |
else if (rmargin_width |
639 |
|
&& *x >= window_box_left (w, RIGHT_MARGIN_AREA)) |
640 |
part = ON_RIGHT_MARGIN; |
part = ON_RIGHT_MARGIN; |
641 |
else |
else |
642 |
{ |
{ |
671 |
} |
} |
672 |
else |
else |
673 |
{ |
{ |
674 |
if (*x <= window_box_right (w, LEFT_MARGIN_AREA)) |
lmargin_width = window_box_width (w, LEFT_MARGIN_AREA); |
675 |
|
rmargin_width = window_box_width (w, RIGHT_MARGIN_AREA); |
676 |
|
/* You can never be on a margin area if its width is zero. |
677 |
|
This is especially important for character terminals. */ |
678 |
|
if (lmargin_width |
679 |
|
&& *x <= window_box_right (w, LEFT_MARGIN_AREA)) |
680 |
part = ON_LEFT_MARGIN; |
part = ON_LEFT_MARGIN; |
681 |
else if (*x >= window_box_left (w, RIGHT_MARGIN_AREA)) |
else if (rmargin_width |
682 |
|
&& *x >= window_box_left (w, RIGHT_MARGIN_AREA)) |
683 |
part = ON_RIGHT_MARGIN; |
part = ON_RIGHT_MARGIN; |
684 |
else |
else |
685 |
{ |
{ |