What goes wrong with the PHP highlighter?

You can place editor highlighter themes to be shared with other users here.
Post Reply
Andreas
Posts: 10
Joined: 05 May 2016 18:44
Location: DE Mönchengladbach

What goes wrong with the PHP highlighter?

Post by Andreas »

I think this can not be intended. Why can't I recognize my comments anymore? Or am I doing something wrong?
Screen-2021-11-08_18-47-07.png
Screen-2021-11-08_18-47-07.png (20.15 KiB) Viewed 11494 times
User avatar
pjj
Posts: 2108
Joined: 13 Oct 2009 13:48
Location: Kraków, Poland

Re: What goes wrong with the PHP highlighter?

Post by pjj »

This happens from time to time for me as well: highlighter "chokes" for a moment. Just RMC on document tab and click on "Reload current document", this should do the trick.
Alium tibi quaere fratrem; hic, quem tuum putas, meus est. Titus Flāvius Caesar Vespasiānus Augustus
Post Reply