On Fri, 2019-10-04 at 12:46 +0100, Joe Wilkinson wrote: > Hi Richard, > > If I edit a multiline text object and use the menu to Edit Text, the > Typeset text changes, but the Edit window display text remains as > first > inserted. yes, tedious, you have to choose Edit Display text if you want to change that as well :( OTOH you can set the display text to something better for the purposes of the display e.g. something more succinct.
Richard _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel
