Timeline for Is there an efficient way to fontify matches of thousands of different strings in a buffer?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 26, 2024 at 2:58 | answer | added | phils | timeline score: 1 | |
| Feb 26, 2024 at 2:06 | comment | added | John Kitchin | I have updated the question with some details that might help explain some of the nuances. | |
| Feb 26, 2024 at 2:03 | history | edited | John Kitchin | CC BY-SA 4.0 | added 957 characters in body; edited title |
| Feb 25, 2024 at 17:28 | comment | added | Drew | Please consider adding the info about that error msg to the question. It seems to clarify the motivation. | |
| Feb 25, 2024 at 17:27 | comment | added | Drew | As I said, feel free to edit/correct the edit. Thx. | |
| Feb 25, 2024 at 14:08 | comment | added | John Kitchin | I get an error of Invalid regexp: "Regular expression too big" if I try to put several thousand patterns joined by OR's. | |
| Feb 25, 2024 at 14:00 | comment | added | John Kitchin | I have mixed feelings on the clarification. The strings are patterns to match, but I want exact matches only in this question. I think the clarification (while technically correct) doesn't make it better for the specific question, although it is a more general. | |
| Feb 25, 2024 at 3:23 | comment | added | Drew | Is your concern about the performance of a complex regexp of alternation (OR's)? Or is it about the performance of matching thousands of different regexps? I tried to interpret your "strings" in the original title and question body as the pattern to be matched, but for the title it wasn't clear to me. Font-lock doesn't fontify strings; it fontifies pattern matches (stretches of buffer text). Feel free to correct my attempt at clarification if it made things worse. | |
| Feb 25, 2024 at 3:20 | history | edited | Drew | CC BY-SA 4.0 | edited title |
| Feb 25, 2024 at 1:19 | history | edited | Drew | CC BY-SA 4.0 | added 11 characters in body |
| Feb 25, 2024 at 0:23 | history | asked | John Kitchin | CC BY-SA 4.0 |