On Mon, Aug 04, 2003 at 04:22:34PM +0100, John Levon wrote: > On Mon, Aug 04, 2003 at 05:12:26PM +0200, Andre Poenitz wrote: > > > For short ERT and \label, 'inline editing' would be beneficial as well. > > I don't see the relevance... we have inline editing for ERT as it is.
Huch? By 'inline' I do not mean 'create something fancy as wide as the full screen'. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)
