Oh ok thanks for the information. I hope it gets fixed as its becoming
difficult to find out the current tab


On Mon, Apr 11, 2016 at 2:20 PM, Egmont Koblinger <egm...@gmail.com>
wrote:

> This is an issue with the default Gtk+ theme, not with gnome-terminal.
>
> --
> You received this bug notification because you are subscribed to the bug
> report.
> https://bugs.launchpad.net/bugs/1568451
>
> Title:
>   Current Tab in Gnome-terminal does not get highlighted
>
> To manage notifications about this bug go to:
>
> https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1568451/+subscriptions
>

-- 
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/1568451

Title:
  Current Tab in Gnome-terminal does not get highlighted

Status in gnome-terminal package in Ubuntu:
  Confirmed

Bug description:
  Hi

  When multiple tabs are open in gnome-terminal, its difficult to find
  out the current tab as the tab does not get highlighted properly. Tab
  switching works fine but its very hard to find out the current one.
  Ubuntu Gnome 16.04 does not have this problem as a blue underline is
  displayed for the current tab and the tab also the current gets
  highlighted better.

  This problem is seen in Ubuntu 16.04 beta-2 with all updates
  installed.

  ProblemType: Bug
  DistroRelease: Ubuntu 16.04
  Package: gnome-terminal 3.18.3-1ubuntu1
  ProcVersionSignature: Ubuntu 4.4.0-15.31-generic 4.4.6
  Uname: Linux 4.4.0-15-generic x86_64
  ApportVersion: 2.20.1-0ubuntu1
  Architecture: amd64
  Date: Sun Apr 10 10:35:55 2016
  InstallationDate: Installed on 2016-04-10 (0 days ago)
  InstallationMedia: Ubuntu 16.04 LTS "Xenial Xerus" - Beta amd64 (20160323)
  ProcEnviron:
   LANGUAGE=en_IN:en
   TERM=xterm-256color
   PATH=(custom, no user)
   LANG=en_IN
   SHELL=/bin/bash
  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/1568451/+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