I believe these to be the relevant upstream bug reports. Unfortunately, it would appear that fixing this performance issue is not high on the priority list:
https://bugzilla.gnome.org/show_bug.cgi?id=350015 https://bugzilla.gnome.org/show_bug.cgi?id=439247 https://bugzilla.gnome.org/show_bug.cgi?id=532816 https://bugzilla.gnome.org/show_bug.cgi?id=572210
(And unfortunately for us power users, a paper cut this is not since, by the fact that we use the terminal extensively, we are not the average user!)
I believe these to be the relevant upstream bug reports. Unfortunately, it would appear that fixing this performance issue is not high on the priority list:
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 350015 /bugzilla. gnome.org/ show_bug. cgi?id= 439247 /bugzilla. gnome.org/ show_bug. cgi?id= 532816 /bugzilla. gnome.org/ show_bug. cgi?id= 572210
https:/
https:/
https:/
(And unfortunately for us power users, a paper cut this is not since, by the fact that we use the terminal extensively, we are not the average user!)