On 21.04.05, Helge Hafting wrote:
> ... Seems to me there is little point in setting the ERT text in a > special font, especially considering that the current approach only > goes halfway. The ERT text got bigger, but it was still red and still > in its special font. However, this font change showed you that your ERT was inside a font-changing command/environment (and hence failed). So, maybe we should keep this as a hint for the user to not e.g. use a pair of ERT-s like \begin \end across different Styles. (like start a minipage a section heading) Günter -- G.Milde web.de
