Feature/#331 formatting of codeblock comments in search breaks #341
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes #331
Fixes overall 2 issues:
##
,#
and the like often get rendered into headlines under the right circumstances. By replacing them with\#
(which most of the time get rendered to#
instead of\#
) you can prevent this from the get-goSearch-hits sometimes get incorrectly boldened. As in, you get rendered
**blabla**NoWhitespaceHere
, which will lead to the stars being rendered instead of them turning bold. By enforcing in the SQL that "post-snippet" it'll add**
instead of just stars, you can prevent this problem from the start.also takes care of some HTML rendering problems:
![image](https://user-images.githubusercontent.com/65814317/214868964-3cee7ac2-f35a-43e6-8fa9-64425e22f501.png)
Broken example:
-Whitespacing is generally broken
## [ ( )*] r
should actually contain this HTML string:## [<p1> (<p2> <p1>)*]
Now with the fixes applied:
![image](https://user-images.githubusercontent.com/65814317/214869351-1e404a94-2b56-4cab-9da6-f6d0f3891018.png)