7681     top_offset,  in XMenuWidget()  local
7732   top_offset=title_height+menu_info.bevel_width-1;  in XMenuWidget()
7733   windows->widget.height=top_offset+number_selections*height+4;  in XMenuWidget()
7826         selection_info.y=(int) top_offset;  in XMenuWidget()
7844         y=(int) (top_offset+selection_info.height*(number_selections-1));  in XMenuWidget()
7876         id=(event.xbutton.y-top_offset)/(int) selection_info.height;  in XMenuWidget()
7883         selection_info.y=(int) (top_offset+id*selection_info.height);  in XMenuWidget()
7929         id=((event.xcrossing.y-top_offset)/(int) selection_info.height);  in XMenuWidget()
7939               (top_offset+selection_info.id*selection_info.height);  in XMenuWidget()
7950           (top_offset+selection_info.id*selection_info.height);  in XMenuWidget()
7977         selection_info.y=(int) (top_offset+id*selection_info.height);  in XMenuWidget()
8015         id=(event.xmotion.y-top_offset)/(int) selection_info.height;  in XMenuWidget()
8025               (top_offset+selection_info.id*selection_info.height);  in XMenuWidget()
8035         selection_info.y=(int) (top_offset+id*selection_info.height);  in XMenuWidget()