Thanks. Integrated.
Regards,
Elias
On 1 August 2014 12:24, David B. Lamkins wrote:
> The customization turned out to be not so difficult. Thanks for the
> nudge and the (off-list) hints.
>
> Patch attached.
>
> On Fri, 2014-08-01 at 10:48 +0800, Elias Mårtenson wrote:
> > Thank you. It's been
The customization turned out to be not so difficult. Thanks for the
nudge and the (off-list) hints.
Patch attached.
On Fri, 2014-08-01 at 10:48 +0800, Elias Mårtenson wrote:
> Thank you. It's been applied.
>
>
> I would like to see the indentation amounts be a bit more
> configurable. I think d
Thank you. It's been applied.
I would like to see the indentation amounts be a bit more configurable. I
think designating multiple variables using defcustom for this is a better
option.
That said, isn't there another way in which a set of numbers can be edited
from "customize"? What is your opini
Elias,
I took the liberty of rewriting `gnu-apl--indent-this'.
The function now takes indentation amounts from
`gnu-apl--indent-amounts'; this variable specifies the indentation for
header (between del and the first nonblank character; del is still
flush-left), comment, label and other within a
