Comment 9 for bug 1223129

OK, so a little investigation:
In terminal.py line ~868:
            if (mapping == "copy" and event.state & gtk.gdk.CONTROL_MASK):
                if self.vte.get_has_selection ():
                    getattr(self, "key_" + mapping)()
                    return(True)
            else:
                getattr(self, "key_" + mapping)()
                return(True)
Will need an extra clause in the first "if", i.e. self.config('smart_copy')
Then a smart_copy setting, GUI, and documentation needs to be added. This would enable people to choose smart copy or not (i.e. copy if there's a selection, or SIGINT if not, or always copy and use additional modifier to get the SIGINT.