desktop-packages team mailing list archive

[Martin-Éric Racine <852925@xxxxxxxxxxxxxxxxxx>]

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

Title:
  setting to hide the menu is ignored by profile

Status in “gnome-terminal” package in Ubuntu:
  New

Bug description:
  Since this version, gnome terminal ignores the value of the Show Menu
  option. Regarless of how it's set in the profile, opening a new
  terminal always shows the menu on top of the terminal window.

  ProblemType: Bug
  DistroRelease: Ubuntu 11.10
  Package: gnome-terminal 3.0.1-0ubuntu3
  ProcVersionSignature: Ubuntu 3.0.0-11.18-generic 3.0.4
  Uname: Linux 3.0.0-11-generic i686
  ApportVersion: 1.23-0ubuntu1
  Architecture: i386
  Date: Sun Sep 18 03:06:50 2011
  ProcEnviron:
   LANGUAGE=fi_FI:fi:en_US:en
   PATH=(custom, user)
   LANG=fi_FI.UTF-8
   SHELL=/bin/bash
  SourcePackage: gnome-terminal
  UpgradeStatus: Upgraded to oneiric on 2009-09-14 (733 days ago)

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