This is indeed a new bug. FIxed, thanks.
- Carsten
On Jul 14, 2007, at 18:33, Austin Frank wrote:
Hello!
Just a quick bug report. It's my recollection that, given a headline
followed by a plain list, using meta-right and meta-left to change the
level of indentation on the headline would als
Hello!
Just a quick bug report. It's my recollection that, given a headline
followed by a plain list, using meta-right and meta-left to change the
level of indentation on the headline would also change the level of
indentation on the plain list. This is not working in 5.03.
On a related note, i
