desktop-packages team mailing list archive

[Norbert <1448511@xxxxxxxxxxxxxxxxxx>]

** No longer affects: gnome-terminal

** Bug watch added: GNOME Bug Tracker #720693
   https://bugzilla.gnome.org/show_bug.cgi?id=720693

** Also affects: gnome-terminal via
   https://bugzilla.gnome.org/show_bug.cgi?id=720693
   Importance: Unknown
       Status: Unknown

-- 
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:
  Unknown
Status in gnome-terminal package in Ubuntu:
  New

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