>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> For 1.5, I'm just working on a patch that lets you hide all Juergen> labels at once and probably also saves the settings (whether Juergen> the labels are shown or not). The former might even go into Juergen> some future version of 1.4 (the latter not, because it Juergen> entails a file format change). Juergen> For representation issues, I'm also thinking about adding Juergen> preview-latex facility to character styles. That would give Juergen> you a wysiwyg impression of how the output will look like. What about not showing the label when cursor is outside of the inset (like mathed does)? Would that be too confusing? JMarc
