FIXED: Highlighter's mishap
Posted: 17 Jul 2022 15:28
Recently, when I was changing file's name via RMC on document tab > File operations > Rename file..., PHP highlighter (I haven't checked other ones) was crashing, producing something like this:
Now I think I have found the way to recreate it: a bookmark must be placed somewhere in the file (bookmark that was saved with a file doesn't seem to work). I don't change an extension, only a filename. Reloading document doesn't bring proper highlighter, but changing it to another and then reverting to PHP does.