where to put user editable css-like file for ease of editing

[BeckyEbook]

I need more time to test it. Perhaps there’s still hope.

Attached are icons for a plugin.

[KevinH]

No problem. I have attached the updated plugin which should fix the growing number of lines before the pre tag.

Also prettyprinter.pcss should have a rule to not break after pre, script, and style opening tags and not break before ending pre, script, and style tags just to be safe.

So there should be a section like the following near the end of the prettyprinter.pcss file where I added those properties

  pre, script, style {
      opentag-br : 1 0;
      closetag-br: 0 1;
      text-fm-resv: true;
  }

I have attached the updated version.

Thank you for the svg icon! I will add it to my version.

[KevinH]

BeckyEbook,

Have you run into any new issues with the PrettyPrinter plugin? Do you think it is usable/safe enough to officially release it?

Thanks,

KevinH

[BeckyEbook]

It's going to take me a little while longer.
It's looking good, but I've got a lot of other work on my plate right now (the grass isn't going to mow itself), and I just don't have the time.
But I'll let you know by mid-May.

[KevinH]

Okay, no rush. Thanks for giving it a good testing!