gnome-terminal looses curly braces '{' and '}' from the start of pasted lines. To replicate, enter the following at a terminal: cat >> /dev/null { { } } Then highlight the lines with the braces and paste them back into the terminal - only newlines are pasted.
Very strange, but yes, this is a bug.
This is fixed as of gnome-libs-1.0.10, which should be coming out as an update soon.