Doesn't seem to be happening with 20.04, for now at least.

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1873093

Title:
  Gnome-terminal tab bar steals keyboard focus

Status in gnome-terminal package in Ubuntu:
  New

Bug description:
  I'm not sure when it started, but using the version of Gnome-Terminal
  in latest ubuntu (GT 3.34.2), I regularly find the tab bar stealing
  keyboard focus.

  This is dangerous.

  The problem is usually that I click on a tab, leave the mouse there,
  and start typing. The tab bar then steals the first character typed.
  Sometimes I click in the terminal window, and then move the mouse out
  of the way (to the tab bar). Sometimes it happens later, when the
  mouse drifts onto a tab (maybe I knock it slightly while typing).

  There are many cases in which the unexpected loss of a character typed
  could lead to significant damage. For example,

  rm *~

  losing the tilde. Or

  sudo rm -rf /mnt/1/*

  losing the 1.

  I have preferred click to focus (as opposed to focus-follows-mouse) in
  X for nearly 30 years. Gnome-Terminal should not pervert this
  preference.

  Reported upstream - https://gitlab.gnome.org/GNOME/gnome-
  terminal/-/issues/245

  Not clear that this is 100% a bug with gnome-terminal, or whether it
  is an interaction between it and another part of the XWayland/gnome
  /gnome-shell setup.

  ProblemType: Bug
  DistroRelease: Ubuntu 19.10
  Package: gnome-terminal 3.34.2-1ubuntu1
  ProcVersionSignature: Ubuntu 5.3.0-46.38-generic 5.3.18
  Uname: Linux 5.3.0-46-generic x86_64
  ApportVersion: 2.20.11-0ubuntu8.8
  Architecture: amd64
  CurrentDesktop: GNOME
  Date: Thu Apr 16 10:16:15 2020
  InstallationDate: Installed on 2020-03-15 (31 days ago)
  InstallationMedia: Ubuntu 19.10 "Eoan Ermine" - Release amd64 (20191017)
  SourcePackage: gnome-terminal
  UpgradeStatus: No upgrade log present (probably fresh install)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1873093/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to     : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp

Reply via email to