Description of the problem or steps to reproduce
When copying text to the (internal) clipboard, and having autoindent switched on, pasting double the indentation (because it starts on the next indented position, but also paste the clipboard's lines indentation).
Worse, if you have multiple line, each line will have increasing indentation!
Thus, stripping indentation before pasting when autoindent is on is required IMHO.
Specifications
micro-1.2.1-dev.70-linux64
Terminal: terminology
Description of the problem or steps to reproduce
When copying text to the (internal) clipboard, and having autoindent switched on, pasting double the indentation (because it starts on the next indented position, but also paste the clipboard's lines indentation).
Worse, if you have multiple line, each line will have increasing indentation!
Thus, stripping indentation before pasting when autoindent is on is required IMHO.
Specifications
micro-1.2.1-dev.70-linux64
Terminal: terminology