Matthijs Mohlmann wrote:
Hi,
I have found a patch on gentoo.org and it makes gnome-terminal
significant faster.
And another patch to make gnome-terminal more usable ;)
Shift line-{up,down}
The first patch can close bug #197797 and maybe #217786
I hope this patches can be included in the vte stuff. Those patches are
applied upstream already.
Matthijs Mohlmann
This list is not the right place to submit patches. Submit them to the package maintainer or append them to the bugs you mentioned.
-- Matthew A. Nicholson Matt-land.com