desktop-packages team mailing list archive

[Magnus <koma@xxxxxxxxxxxxxx>]

This is indeed disappointing. 
At work I often have 10 tabs open and need to navigate between them. It used to be really good, now it's bad.

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

Title:
  Unable to set gnome-terminal title from menu in Vivid Vervet

Status in GNOME Terminal:
  Invalid
Status in gnome-terminal package in Ubuntu:
  Won't Fix

Bug description:
  In Ubuntu Precise Pangolin 12.04 was an option "Terminal -> Set Title"
  for setting terminal title.

  In Ubuntu Vivid Vervet 15.04 it is missed.

  ProblemType: Bug
  DistroRelease: Ubuntu 15.04
  Package: gnome-terminal 3.14.2-0ubuntu3
  ProcVersionSignature: Ubuntu 3.19.0-15.15-generic 3.19.3
  Uname: Linux 3.19.0-15-generic i686
  ApportVersion: 2.17.2-0ubuntu1
  Architecture: i386
  CurrentDesktop: Unity
  Date: Sat Apr 25 21:04:46 2015
  InstallationDate: Installed on 2015-04-25 (0 days ago)
  InstallationMedia: Ubuntu 15.04 "Vivid Vervet" - Release i386 (20150422)
  SourcePackage: gnome-terminal
  UpgradeStatus: No upgrade log present (probably fresh install)

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