Hello,
So, long ago I indeed worked that around by going to setting and
turning autoindent off then on (boring!). Then however I noticed that
depending on the way you paste you may be able to work it around by
several paste attempts. For example, Gnome terminal has 3 ways to
paste: menu command, Ctrl+Shift+V, Shift+Ins. So far, my background
pattern matcher didn't find exact rule what works better, it seems to
be just non-deterministic, though intuitively, Shift+Ins appear to work
better.