14 Jul
2011
14 Jul
'11
5:28 p.m.
On Wed, 13 Jul 2011, Hans Hagen wrote:
- Typing gets frontstripped with the number of spaces in front of \stoptyping so that one can have nicely formatted input like:
Great. Recently I had added a similar functionality to t-vim using the key 'trimspaces=on|off'. I'll change that to 'frontstripped' to be consistent with the core. Aditya