catch_child_signal 7538 src/process.c    catch_child_signal ();
catch_child_signal 8484 src/process.c        catch_child_signal ();
catch_child_signal 8491 src/process.c  	  catch_child_signal ();
catch_child_signal 8496 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 ();