Cinnamon Javascript Reference Manual
imports.misc.signalManager
SignalManager.SignalManager
— A convenience object for managing signals