Search Options

Display Count
Sort
Preferred Language
Advanced Search

Results 1 - 2 of 2 for remove_header_permalinks (0.13 seconds)

  1. scripts/docs.py

    {% endfor -%}
    {%- for sponsor in sponsors.silver -%}
    <a href="{{ sponsor.url }}" target="_blank" title="{{ sponsor.title }}"><img src="{{ sponsor.img }}"></a>
    {% endfor %}
    
    """
    
    
    def remove_header_permalinks(content: str):
        lines: list[str] = []
        for line in content.split("\n"):
            match = header_with_permalink_pattern.match(line)
            if match:
                hashes, title, *_ = match.groups()
    Created: Sun Apr 05 07:19:11 GMT 2026
    - Last Modified: Thu Mar 05 17:46:10 GMT 2026
    - 25.4K bytes
    - Click Count (0)
  2. scripts/doc_parsing_utils.py

                    count = len(line) - len(line.lstrip("`"))
                    if count >= 4:
                        in_code_block4 = False
                        continue
    
        return headers
    
    
    def remove_header_permalinks(lines: list[str]) -> list[str]:
        """
        Remove permalinks from headers in the given lines.
        """
    
        modified_lines: list[str] = []
        for line in lines:
    Created: Sun Apr 05 07:19:11 GMT 2026
    - Last Modified: Thu Mar 19 17:37:41 GMT 2026
    - 23.5K bytes
    - Click Count (0)
Back to Top