Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Markdown backend: complete implementation #35

Merged
merged 46 commits into from
Jan 28, 2024
Merged

Markdown backend: complete implementation #35

merged 46 commits into from
Jan 28, 2024

Commits on Jan 20, 2024

  1. Markdown backend: complete initial impl. Verified: frames and optiona… 

    …lly foldable trees

Currently, multiline preformatted content as separate inline code markers. Will consider using code blocks...
    @lukstafi
    lukstafi committed Jan 20, 2024
    Configuration menu
    Copy the full SHA
    093e74e View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2024

  1. Fix limitations of the summary field

    @lukstafi
    lukstafi committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    014a2da View commit details
    Browse the repository at this point in the history

  2. Cleanup; auto-regenerate test_md.expected.md

    @lukstafi
    lukstafi committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    49446c7 View commit details
    Browse the repository at this point in the history

  3. More configurability: Config, preformatted, frames 

    Preformatted code is still broken.
    @lukstafi
    lukstafi committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    162ff2f View commit details
    Browse the repository at this point in the history

  4. Fixed handling of indented code (preformatted with leading whitespace)

    @lukstafi
    lukstafi committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    6c9b91a View commit details
    Browse the repository at this point in the history

  5. Fix missing tab setting; ensure breaking lines

    @lukstafi
    lukstafi committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    05d5ca2 View commit details
    Browse the repository at this point in the history

  6. Fix stylized-framed unfolded empty header trees

    @lukstafi
    lukstafi committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    8795d98 View commit details
    Browse the repository at this point in the history

  7. Fix breaking into lines; table tests. 

    Will add configuration and tune the table output next.
Maybe the html table conversion could be better too.
    @lukstafi
    lukstafi committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    3dfe5f0 View commit details
    Browse the repository at this point in the history

  8. PrintBox_md tweaks: simulate preformatting with nbsp, more newlines w… 

    …hen not inline

(uses multiline heuristic when adding frames),
use `div` instead of `span` when not inline.
    @lukstafi
    lukstafi committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    6da1506 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. PrintBox_md: Docu-comments

    @lukstafi
    lukstafi committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f6d7410 View commit details
    Browse the repository at this point in the history

  2. printbox-md: fix config -- missing printbox-html dependency

    @lukstafi
    lukstafi committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    41d382b View commit details
    Browse the repository at this point in the history

  3. Backward compatibility fix concat_map

    @lukstafi
    lukstafi committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b01eece View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. Fix: escaping characters <, >

    @lukstafi
    lukstafi committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    703a711 View commit details
    Browse the repository at this point in the history

  2. Packages setup fixes

    @lukstafi
    lukstafi committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    8000604 View commit details
    Browse the repository at this point in the history

  3. Fix printbox-md dependencies

    @lukstafi
    lukstafi committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    b863a2d View commit details
    Browse the repository at this point in the history

  4. printbox-md: support of vlist

    @lukstafi
    lukstafi committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    3054ee5 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Support for native Markdown tables, allowing framed cells

    @lukstafi
    lukstafi committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    8c25cc6 View commit details
    Browse the repository at this point in the history

  2. Fix mismatch between multiline_heuristic and line_of_length_exn 

     Complement of `multiline_heuristic` is the domain of `line_of_length`.
    @lukstafi
    lukstafi committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    8d63a26 View commit details
    Browse the repository at this point in the history

  3. Greatly improve pp_print_nbsp -> pp_print_escaped: 

    optimally escape all Markdown constructs (i.e. only when needed),
minimize the use of `&nbsp;` --
but a slight temporary regression, needs `white-space: pre`.
    @lukstafi
    lukstafi committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    bc6ed56 View commit details
    Browse the repository at this point in the history

  4. Style white-space: pre for verbatim line breaks

    @lukstafi
    lukstafi committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    235fd23 View commit details
    Browse the repository at this point in the history

  5. Remove markdown experiments

    @lukstafi
    lukstafi committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    1915c54 View commit details
    Browse the repository at this point in the history

  6. pp_string_escaped: Fix counting spaces

    @lukstafi
    lukstafi committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    e253bc6 View commit details
    Browse the repository at this point in the history

  7. Fix interleaving to prevent whitespace collapse, change approach for … 

    …`Code_quote`

`Code_quote` now uses a middle-dot to break whitespace collapse, including in the indentation.
    @lukstafi
    lukstafi committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    dcdf99e View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Markdown export of hlist boxes; make line_of_length style-sensitive

    @lukstafi
    lukstafi committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    261f5cb View commit details
    Browse the repository at this point in the history

  2. Fewer redundant white-space: pre; fix spacing of Stylized hlists

    @lukstafi
    lukstafi committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    689ba38 View commit details
    Browse the repository at this point in the history

  3. Use [] for frames in Markdown tables; more tests 

    Unfortunately, it seems inside `style="white-space: pre"` Markdown is not processed?
    @lukstafi
    lukstafi committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    1586150 View commit details
    Browse the repository at this point in the history

  4. Removing style 1: white-space: pre does not work with GitHub preview 

    Note: without it, HTML collapses regular and nbsp spaces -- follow up.
    @lukstafi
    lukstafi committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    71601b6 View commit details
    Browse the repository at this point in the history

  5. Get rid of &nbsp;, use · instead 

    `&nbsp;` is unreadable and collapsed with surrounding spaces.
    @lukstafi
    lukstafi committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    1883545 View commit details
    Browse the repository at this point in the history

  6. Ensure empty line after </div> to return to Markdown

    @lukstafi
    lukstafi committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    862eccf View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. Separate positions not accepting blocks vs not accepting markdown

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    4330d78 View commit details
    Browse the repository at this point in the history

  2. Missing no_block on hlists

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    b96443b View commit details
    Browse the repository at this point in the history

  3. Experimentally using <div> to see if GitHub rendering picks up styles 

    (since it doesn't pick up styles from <span>).
    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    9fd1686 View commit details
    Browse the repository at this point in the history

  4. Revert "Experimentally using <div>" -- it's styles in general, not <div> 

    This reverts commit 9fd1686.
    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    65e7e17 View commit details
    Browse the repository at this point in the history

  5. printbox-html: Non-flushing formatting output

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    9c10b74 View commit details
    Browse the repository at this point in the history

  6. printbox-md: remove styles

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    628513f View commit details
    Browse the repository at this point in the history

  7. Non-Markdown preformatted style

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    5584258 View commit details
    Browse the repository at this point in the history

  8. printbox-md: no style escape sequences when falling back on `printb… 

    …ox-text`
    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    939ad87 View commit details
    Browse the repository at this point in the history

  9. Use Markdown's "<br>" = " "

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    fab8407 View commit details
    Browse the repository at this point in the history

  10. Fixes c-cube#34: add line breaks for multiline text

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    8e8b2fc View commit details
    Browse the repository at this point in the history

  11. Multiline text in HTML fixed now

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    3837a15 View commit details
    Browse the repository at this point in the history

  12. Bug fix: handle backticks in text and code

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    a599d46 View commit details
    Browse the repository at this point in the history

  13. Fixed native Markdown export bug

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    407646f View commit details
    Browse the repository at this point in the history

  14. printbox-md: README-generating tutorial

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    9f3380b View commit details
    Browse the repository at this point in the history

  15. README source link; note on GitHubPreview missing styles

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    249de66 View commit details
    Browse the repository at this point in the history

  16. Account for text styling when shaping Markdown tables

    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    e1b96d3 View commit details
    Browse the repository at this point in the history

  17. Fix: forgot about the impact of removing the bold style 

    on Markdown table header lengths.
    @lukstafi
    lukstafi committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    f9ace94 View commit details
    Browse the repository at this point in the history