desktop-packages team mailing list archive

[Timothy Arceri <762760@xxxxxxxxxxxxxxxxxx>]

There is no such grip in Gnome 3 terminal (Ubuntu 11.10) i suspect this
was a side affect of the back porting of the grips to gtk2 by the Ubuntu
team.

** Changed in: gnome-terminal (Ubuntu)
       Status: Confirmed => Invalid

** Changed in: hundredpapercuts
       Status: New => Invalid

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

Title:
  resize grip in terminals obscures text

Status in One Hundred Paper Cuts:
  Invalid
Status in “gnome-terminal” package in Ubuntu:
  Invalid

Bug description:
  I've configured my shell (zsh) to display the current hostname on the
  right, bottom side of a terminal window. In gnome-terminal this text
  is partly obscured by the resize grip. It would be nice to disable the
  resize grip on gnome-terminal.

To manage notifications about this bug go to:
https://bugs.launchpad.net/hundredpapercuts/+bug/762760/+subscriptions