xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-15 02:00:39 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #651 from Codium-ai/tr/br_inside_code

Browse Source 
insert_br_after_x_chars can already handle code
This commit is contained in:
Tal
2024-02-11 01:47:12 -08:00
committed by GitHub
parent 8800bad658 c75413fac5
commit 79dac3f419
1 changed files with 14 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
pr_agent/tools/pr_description.py
View File

@ -379,11 +379,11 @@ class PRDescription:
for filename, file_changes_title, file_change_description in list_tuples: for filename, file_changes_title, file_change_description in list_tuples:
filename = filename.replace("'", "`").rstrip() filename = filename.replace("'", "`").rstrip()
filename_publish = filename.split("/")[-1] filename_publish = filename.split("/")[-1]
file_changes_title_br = insert_br_after_x_chars(file_changes_title, x=(delta - 5)) file_changes_title_code = f"<code>{file_changes_title}</code>"
file_changes_title_extended = file_changes_title_br.strip() + "</code>" file_changes_title_code_br = insert_br_after_x_chars(file_changes_title_code, x=(delta - 5)).strip()
if len(file_changes_title_extended) < (delta - 5): if len(file_changes_title_code_br) < (delta - 5):
file_changes_title_extended += "&nbsp; " * ((delta - 5) - len(file_changes_title_extended)) file_changes_title_code_br += "&nbsp; " * ((delta - 5) - len(file_changes_title_code_br))
filename_publish = f"<strong>{filename_publish}</strong><dd><code>{file_changes_title_extended}</dd>" filename_publish = f"<strong>{filename_publish}</strong><dd>{file_changes_title_code_br}</dd>"
diff_plus_minus = "" diff_plus_minus = ""
delta_nbsp = "" delta_nbsp = ""
diff_files = self.git_provider.diff_files diff_files = self.git_provider.diff_files
@ -431,12 +431,20 @@ class PRDescription:
pass pass
return pr_body return pr_body
def count_chars_without_html(string):
if '<' not in string:
return len(string)
no_html_string = re.sub('<[^>]+>', '', string)
return len(no_html_string)
def insert_br_after_x_chars(text, x=70): def insert_br_after_x_chars(text, x=70):
""" """
Insert <br> into a string after a word that increases its length above x characters. Insert <br> into a string after a word that increases its length above x characters.
Use proper HTML tags for code and new lines. Use proper HTML tags for code and new lines.
""" """
if len(text) < x: if count_chars_without_html(text) < x:
return text return text
# replace odd instances of ` with <code> and even instances of ` with </code> # replace odd instances of ` with <code> and even instances of ` with </code>
@ -458,12 +466,6 @@ def insert_br_after_x_chars(text, x=70):
if i < len(lines) - 1: if i < len(lines) - 1:
words[-1] += "<br>" words[-1] += "<br>"
def count_chars_without_html(string):
if '<' not in string:
return len(string)
no_html_string = re.sub('<[^>]+>', '', string)
return len(no_html_string)
new_text = [] new_text = []
is_inside_code = False is_inside_code = False
current_length = 0 current_length = 0