InputSensorModified   93 src/terminal/input_sensor.h void InputSensorModified(GF_Node *n);
InputSensorModified  181 src/terminal/object_manager.c 					InputSensorModified(n);
InputSensorModified  247 src/terminal/scene.c 							InputSensorModified(n);
InputSensorModified  310 src/terminal/term_node_init.c 		InputSensorModified(node);