We are sorry that we do not always have the capacity to review all
reported bugs in a timely manner. You reported this bug some time ago
and there have been many changes in Ubuntu since that time.
Ubuntu 12.04 (precise) reached end-of-life on April 28, 2017.
Do you still see a problem related to the one that you reported in a
currently supported version of Ubuntu? Please let us know if you do and
in which version of Ubuntu otherwise this report can be left to expire
in approximately 60 days time.
Thank you for helping make Ubuntu better.
Paul White
[Ubuntu Bug Squad]
** Changed in: gnome-terminal (Ubuntu)
Status: Confirmed => Incomplete
--
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/1000316
Title:
Cannot expand width of gnome-terminal - scroll handle blocks the
ability
Status in gnome-terminal package in Ubuntu:
Incomplete
Bug description:
Open a terminal, make sure it's not maximized, hit enter enough times
so that the scroll bar is activated, now move your cursor to the right
side of the window and try to expand the terminal window to the right.
The scroll bar handle pops up and blocks you from being able to grab
the edge of the window..
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: gnome-terminal 3.4.1.1-0ubuntu1
ProcVersionSignature: Ubuntu 3.2.0-24.37-generic 3.2.14
Uname: Linux 3.2.0-24-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 2.0.1-0ubuntu7
Architecture: amd64
Date: Wed May 16 09:51:46 2012
InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Release amd64
(20120425)
ProcEnviron:
TERM=xterm
PATH=(custom, no user)
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1000316/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
