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. > So arguable, this is no 'different user-visible behaviour' but rather > some kind of inset that's not yet implemented. Simple test: if the user can't tell the label is implemented in terms of an inset, it's not different. Else it is. No argument to be had ... > Sort of a InsetText wrapper 'thinner than InsetCollapsable'. Yes, would be nice. regards john -- Khendon's Law: If the same point is made twice by the same person, the thread is over.
