Andrew Vos f3f3f80624 Ignore indent when completing lines ... When doing line completion, we previously used to not complete the line if it had different indent to the potential completion. This commit changes the behaviour to ignore indentation when completing lines.		2020-11-20 20:00:46 +00:00
..
cmd	Ignore indent when completing lines	2020-11-20 20:00:46 +00:00
in	Ignore indent when completing lines	2020-11-20 20:00:46 +00:00
out	Ignore indent when completing lines	2020-11-20 20:00:46 +00:00