Ubuntu
gnome-terminal package

[gnome-terminal] cannot set profile with mouse

Bug #132567 reported by Kyle McMartin
10
Affects Status Importance Assigned to Milestone
gnome-terminal (Ubuntu)
Fix Released
Low
Ubuntu Desktop Bugs

Bug Description

Add a new profile in the menu, then attempt to switch to it using the mouse. Watch it fail to change. Repeat using the keyboard shortcuts for winning. Quite odd...

Revision history for this message
Kyle McMartin (kyle) wrote :

Version is 2.18.1-1ubuntu2.

Revision history for this message
Pedro Villavicencio (pedro) wrote :

Thank you for taking the time to report this bug and helping to make Ubuntu better. it works fine here with same version, may you try to reproduce it with another new user? thanks in advance.

Changed in gnome-terminal:
assignee: nobody → desktop-bugs
importance: Undecided → Low
status: New → Incomplete
Revision history for this message
Pedro Villavicencio (pedro) wrote :

Confirmed in Gutsy, thanks for your report.

Changed in gnome-terminal:
status: Incomplete → New
status: New → Triaged
tom sutarik (tom-sutarik)
Changed in gnome-terminal (Ubuntu):
status: Triaged → Fix Committed
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Duplicates of this bug

Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.