Actually, the main shortcut key on the GNOME desktop is the control key.  So the GNOME default shortcuts (like Ctrl-C to copy) conflicts with the terminal features (Ctrl-C interrupt a program). So the gnome-terminal shortcuts must be different than the usual GNOME shortcuts. This feature described here aims at letting the gnome-terminal use the control key for its shortcuts (copy, paste, new window ...) whereas another key would be used for the terminal.

That way, the control key is reserved to the shortcuts within gnome-terminal itself whereas all super (or any other key) shortcuts are translated to control key shortcuts and send to the terminal emulator. So it would be possible to use GNOME standard shortcuts for gnome-terminal actions (like copy, paste, new window, new tab and so on) without conflicts.

Moreover, on some keyboards this is not really usable (for example on my apple laptop (macbook) where there is only one control key whereas the super key is really easier to use). With that feature I wouls switch in my XKB keymap the control and super keys. And the key labeled control would still send control events to the terminal. I can't just replace all the applications shortcuts with the super key because of the bug #427409. Moreover, some programs can't be configured so that would lead to inconsistancies in the shortcuts of my desktop.

I hope people will find this idea great hoping this will be implemented.

Mildred