desktop-packages team mailing list archive

[Daniel Hahler <launchpad@xxxxxxxxxx>]

*** This bug is a duplicate of bug 787465 ***
    https://bugs.launchpad.net/bugs/787465

** This bug has been marked a duplicate of bug 787465
   View->Show MenuBar isn't working in 11.04 and later in gnome-terminal

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

Title:
  show/hide menu causes Terminal size to decrease

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

Bug description:
  Since upgrading to Ubuntu 11.10 and switching to Gnome Shell as my
  desktop environment I have found two issues with gnome-terminal...

  (A) New windows open with a menu showing

  I have the "Show menubar by default in new terminals" tickbox in the
  General tab of the Profile edit dialogue box unticked, but the menu
  still shows by default on new terminals.

  (B) Show/Hide menu causes the size of the terminal to decrease each
  time

  In the keyboard shortcuts I have "Hide and show menubar" set to F12.

  When I repeatedly press F12 my terminal shrinks vertically with each
  iteration.

  ===============

  I am using Ubuntu 11.10

  gnome-terminal is version 3.0.1-0ubuntu3 from
  http://gb.archive.ubuntu.com/ubuntu/ oneiric/main i386 Packages

  I expected the menu to not show on new terminals, and for showing and
  hiding the menu to not affect the terminal size.

  What happened instead was that the menu does show on new terminals,
  and that showing and hiding the menu shrinks the terminal size.

  ===============

  Thanks!

  ProblemType: Bug
  DistroRelease: Ubuntu 11.10
  Package: gnome-terminal 3.0.1-0ubuntu3
  ProcVersionSignature: Ubuntu 3.0.0-12.20-generic 3.0.4
  Uname: Linux 3.0.0-12-generic i686
  ApportVersion: 1.23-0ubuntu3
  Architecture: i386
  Date: Sun Oct 16 09:08:29 2011
  ExecutablePath: /usr/bin/gnome-terminal
  SourcePackage: gnome-terminal
  UpgradeStatus: Upgraded to oneiric on 2011-10-15 (0 days ago)

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