7673     top_offset,  in XMenuWidget()  local
7724   top_offset=title_height+menu_info.bevel_width-1;  in XMenuWidget()
7725   windows->widget.height=top_offset+number_selections*height+4;  in XMenuWidget()
7818         selection_info.y=(int) top_offset;  in XMenuWidget()
7836         y=(int) (top_offset+selection_info.height*(number_selections-1));  in XMenuWidget()
7868         id=(event.xbutton.y-top_offset)/(int) selection_info.height;  in XMenuWidget()
7875         selection_info.y=(int) (top_offset+id*selection_info.height);  in XMenuWidget()
7921         id=((event.xcrossing.y-top_offset)/(int) selection_info.height);  in XMenuWidget()
7931               (top_offset+selection_info.id*selection_info.height);  in XMenuWidget()
7942           (top_offset+selection_info.id*selection_info.height);  in XMenuWidget()
7969         selection_info.y=(int) (top_offset+id*selection_info.height);  in XMenuWidget()
8007         id=(event.xmotion.y-top_offset)/(int) selection_info.height;  in XMenuWidget()
8017               (top_offset+selection_info.id*selection_info.height);  in XMenuWidget()
8027         selection_info.y=(int) (top_offset+id*selection_info.height);  in XMenuWidget()