2272               click_time;  in XColorBrowserWidget()  local
2282             if (event.xbutton.time > (click_time+DoubleClick))  in XColorBrowserWidget()
2297             click_time=event.xbutton.time;  in XColorBrowserWidget()
3860               click_time;  in XDialogWidget()  local
3870             if (event.xbutton.time > (click_time+DoubleClick))  in XDialogWidget()
3885             click_time=event.xbutton.time;  in XDialogWidget()
4856               click_time;  in XFileBrowserWidget()  local
4866             if (event.xbutton.time > (click_time+DoubleClick))  in XFileBrowserWidget()
4881             click_time=event.xbutton.time;  in XFileBrowserWidget()
6149               click_time;  in XFontBrowserWidget()  local
6159             if (event.xbutton.time > (click_time+DoubleClick))  in XFontBrowserWidget()
6174             click_time=event.xbutton.time;  in XFontBrowserWidget()
7198               click_time;  in XListBrowserWidget()  local
7208             if (event.xbutton.time > (click_time+DoubleClick))  in XListBrowserWidget()
7223             click_time=event.xbutton.time;  in XListBrowserWidget()
9343               click_time;  in XTextViewWidget()  local
9355                 click_time=event.xbutton.time;  in XTextViewWidget()
9359             if (event.xbutton.time >= (click_time+DoubleClick))  in XTextViewWidget()
9361                 click_time=event.xbutton.time;  in XTextViewWidget()
9364             click_time=event.xbutton.time;  in XTextViewWidget()