On Mon, Aug 04, 2003 at 06:12:59PM +0200, Juergen Spitzmueller wrote: > Andre Poenitz wrote: > > And how do I edit inlined ERT? > > Are you shure you have already detected inlined ERT?
No I haven't. However even now that I know about it I don't see a way to make it leaner than 'full \textwidth'. > (hint: right mouse click on ert button) Mouse is bad for wrists. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)