[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Fix short-indent
From: |
Neil Puttock |
Subject: |
Re: [PATCH] Fix short-indent |
Date: |
Sat, 26 Jul 2008 19:54:27 +0100 |
2008/7/25 Nicolas Sceaux <address@hidden>:
> When short indent was implemented, I asked whether it should
> take place in the margin or not; I was answered to place it
> in the margin. But I too consider it is better to place short
> instrument names in a indentation outside the margin, so I'm OK
> with the patch.
Ah, I see.
I've applied the patch, but changed the message so it doesn't give the
impression that a fix was required.
Regards,
Neil