Ubuntu
gnome-terminal package

  1. Bug #1292113
  2. Comment #30

Comment 30 for bug 1292113

Revision history for this message
Jorge Gustavo (jgr) wrote :

Still happens on:
Distributor ID: Ubuntu
Description: Ubuntu 14.04.3 LTS
Release: 14.04
Codename: trusty
The shortkeys works almost all the time. But sometimes, it does not work.