catch_child_signal 7529 src/process.c    catch_child_signal ();
catch_child_signal 8475 src/process.c        catch_child_signal ();
catch_child_signal 8482 src/process.c  	  catch_child_signal ();
catch_child_signal 8487 src/process.c        catch_child_signal ();
catch_child_signal  292 src/process.h  extern void catch_child_signal (void);
catch_child_signal  268 src/xgselect.c   catch_child_signal ();
catch_child_signal  371 src/xwidget.c  	      catch_child_signal ();
catch_child_signal 3107 src/xwidget.c    catch_child_signal ();
catch_child_signal 4251 src/xwidget.c    catch_child_signal ();
catch_child_signal 4273 src/xwidget.c    catch_child_signal ();