I realize having the ungrab keys be Control-Option for the cocoa interface is not a good idea. This makes keyboard combinations like Control-Alt-Delete (popular in Windows) unusable. This is why I suggest the ungrab keys be changed to Control-Alt-G. This is what the GTK interface already uses. What do you think of this idea?
