Re: PRE is sometimes called LISTING

>I selected a PRE element and added a style attribute. I then tried the
>menu item `create class', which offered `LISTING' as the default name
>for the class, instead of PRE.

  Ok, it's corrected !

Daniel

Received on Wednesday, 22 May 1996 21:13:49 UTC