[Expired for gnome-terminal (Ubuntu) because there has been no activity
for 60 days.]
** Changed in: gnome-terminal (Ubuntu)
Status: Incomplete => Expired
--
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/970558
Title:
refresh problem after using top or less (probably other commands too)
Status in gnome-terminal package in Ubuntu:
Expired
Bug description:
I'm not entirely sure how to reproduce the bug but I'm reporting it
anyway because it is annoying.
It appears to be a refresh problem but it doesn't seem to happen all
the time and it seems to happen at random.
When the shell is in this refresh problem state, all I have to do is
run "top" and then quit from top. Normally, I should be placed back at
the prompt and I'm ready to go again. However, during this time, the
cursor moves to where the prompt should be and I see it blinking but
the screen has not refreshed. I can press enter and the prompt will
show up, but typing a command and pressing enter does nothing.
I tried to take a screen shot but pressing "print screen" also
refreshes the shell.
ProblemType: Bug
DistroRelease: Ubuntu 11.10
Package: gnome-terminal 3.0.1-0ubuntu3
ProcVersionSignature: Ubuntu 3.0.0-17.30-generic 3.0.22
Uname: Linux 3.0.0-17-generic i686
NonfreeKernelModules: nvidia
ApportVersion: 1.23-0ubuntu4
Architecture: i386
Date: Sat Mar 31 20:42:45 2012
ExecutablePath: /usr/bin/gnome-terminal
InstallationMedia: Ubuntu 10.10 "Maverick Meerkat" - Release i386 (20101007)
ProcEnviron:
PATH=(custom, no user)
LANG=en_US.UTF-8
SHELL=/bin/bash
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to oneiric on 2011-11-02 (150 days ago)
XsessionErrors: (gnome-terminal:11900): Gtk-WARNING **: Unknown property:
GtkHScale.update-policy
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/970558/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
