ports/54817: After some time of work text selection in gnome_terminal is too long

[Vladimir B. Grebenschikov]

В вт, 14.10.2003, в 11:38, Jeremy Messenger пишет:

> > Nothing changed about PR:
> 
> Well, I still think you should contract to the Gnome team. Those issues 
> are known on Linux too, but it's much improvement in the lastest version. 
> Therefore, I think it's reasonable to close this PR.

Ok, Bug #124544 in Gnome bugzilla.
http://bugzilla.gnome.org/show_bug.cgi?id=124544

-- 
Vladimir B. Grebenschikov <vova at fbsd.ru>
SWsoft Inc.