Hi. For general knowledge: today a new release of vim is came out (7.0-164+1ubuntu7.1), but the problems with gnome-terminal remains the same :( Cheers, J.
Hi. For general knowledge: today a new release of vim is came out (7.0-164+ 1ubuntu7. 1), but the problems with gnome-terminal remains the same :(
Cheers, J.