Comment 1 for bug 750700

Revision history for this message
Paul Ortyl (ortylp) wrote : Re: gnome-terminal captures F10 for menu even when explicitely disabled