Code Editor : signal-handling.js