4024 |
|
|
4025 |
static Boolean xaw3d_pick_top; |
static Boolean xaw3d_pick_top; |
4026 |
|
|
|
extern void set_vertical_scroll_bar P_ ((struct window *)); |
|
|
|
|
4027 |
/* Action hook installed via XtAppAddActionHook when toolkit scroll |
/* Action hook installed via XtAppAddActionHook when toolkit scroll |
4028 |
bars are used.. The hook is responsible for detecting when |
bars are used.. The hook is responsible for detecting when |
4029 |
the user ends an interaction with the scroll bar, and generates |
the user ends an interaction with the scroll bar, and generates |