pull down to refresh

@k00b, I see that selecting the text it does not really change the indentation on copy&paste, but optically it does
I see. Hmmm, thanks for reporting!
reply