Comment 3 for bug 1282203

Revision history for this message
Ryan Finnie (fo0bar) wrote : Re: gnome-terminal not respecting "Enable menu access keys" setting

The problem seems to have cropped up in trusty sometime between 2014-02-10 and 2014-02-21.