equal
deleted
inserted
replaced
36 DEBUG_DISPLAY_SOURCE_CODE_PATH = '_debug_display_source_code' |
36 DEBUG_DISPLAY_SOURCE_CODE_PATH = '_debug_display_source_code' |
37 |
37 |
38 FILES_WHITE_LIST = set() |
38 FILES_WHITE_LIST = set() |
39 |
39 |
40 |
40 |
41 def _generate_link_to_source(file_path, start=None, end=None, tag_body="<>"): |
41 def _generate_link_to_source(file_path, start=None, end=None, tag_body="[source]"): |
42 if start: |
42 if start: |
43 # step back a bit so we have a bit of top padding wen displaying the page |
43 # step back a bit so we have a bit of top padding wen displaying the page |
44 # and the highlighted line isn't glued to top of the browser window |
44 # and the highlighted line isn't glued to top of the browser window |
45 line_anchor = max(0, start - 10) |
45 line_anchor = max(0, start - 10) |
46 |
46 |