I've created a PPA at https://launchpad.net/~mikelward/+archive
/flashing-gnome-terminal if anyone wants to try the patch on Maverick.

You can do this by running:
sudo add-apt-repository ppa:mikelward/flashing-gnome-terminal
sudo apt-get update
sudo apt-get install gnome-terminal gnome-terminal-data

My aim is to get this integrated into Gnome, so if you find any
problems, let me know, otherwise a comment in
https://bugzilla.gnome.org/show_bug.cgi?id=557593 asking to get this
merged upstream could be helpful.

Note that the PPA replaces the existing gnome-terminal package.  I don't
know if this is the right way or not.  It might cause problems when the
next official build comes out.  Help/advice appreciated.

-- 
Set window manager "URGENT" hint on bell.
https://bugs.launchpad.net/bugs/272749
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to