On Tuesday 14 September 2004 18:32, Hartmut Haase wrote: > If you click on TEX to insert ERT the text on the label is P-ERT. What > does that mean? It used to be only ERT before.
Ignore it for now. It means Partial - ERT, and it is a pun on its behviour now, it will return to ERT as soon as its behaviour is fixed, or someone shows the code to rename it. After all it is just a one line change... André is the one to blame here. :-D -- José Abílio
