Open dkasak opened 9 years ago
The indentation of clauses added by <LocalLeader>m depends on the position of the cursor at the time of invocation. Given the following example,
<LocalLeader>m
data Foo = Bar | Baz | Quux foo : Foo -> Foo foo Bar = ?foo_rhs
placing the cursor on the 'B' of the Bar pattern, followed by invoking <LocalLeader>m results in this
Bar
foo : Foo -> Foo foo Bar = ?foo_rhs foo Quux = ?Bar_rhs_1 foo Baz = ?Bar_rhs_2
Invoking the command at the beginning of the line works as expected, placing the latter two equations in the first column.
It was fixed upstream in Idris-lang/Idris-dev#3869 (but will of course take some time to become part of a release), so this can be closed.
The indentation of clauses added by
<LocalLeader>m
depends on the position of the cursor at the time of invocation. Given the following example,placing the cursor on the 'B' of the
Bar
pattern, followed by invoking<LocalLeader>m
results in thisInvoking the command at the beginning of the line works as expected, placing the latter two equations in the first column.