catch_child_signal 7501 src/process.c    catch_child_signal ();
catch_child_signal 8447 src/process.c        catch_child_signal ();
catch_child_signal 8454 src/process.c  	  catch_child_signal ();
catch_child_signal 8459 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 ();