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

Switch to Highlight #49

Closed
2 of 3 tasks
tajmone opened this issue Aug 13, 2019 · 0 comments
Closed
2 of 3 tasks

Switch to Highlight #49

tajmone opened this issue Aug 13, 2019 · 0 comments
Assignees
@tajmone
Labels
👑 HTML Format Issues with conversion to HTML format 🔨 Highlight Tool: Highlight (syntax highlighter) ⭐ syntax highlighting Topic: Syntax Highlighting ⚠️ important Priority: High
Milestone
Highlight Integra...

Comments

@tajmone
Copy link
Collaborator

tajmone commented Aug 13, 2019 •
edited
Loading

Switch all HTML documents in the project from using highlight.js to Highlight:

NOTE — The Alan IDE Reference Guide is only available in PDF right now.

IMPORTANT! — See also proposal #107 to switch to Rouge instead!
@tajmone tajmone added 👑 HTML Format Issues with conversion to HTML format ⭐ syntax highlighting Topic: Syntax Highlighting ⚠️ important Priority: High 🔨 Highlight Tool: Highlight (syntax highlighter) labels Aug 13, 2019
@tajmone tajmone added this to the Highlight Integration milestone Aug 13, 2019
@tajmone tajmone self-assigned this Aug 13, 2019
@tajmone tajmone mentioned this issue Oct 21, 2019
Open
1 task
@tajmone tajmone mentioned this issue Oct 11, 2020
Closed
@tajmone tajmone mentioned this issue Oct 19, 2020
Open
@tajmone tajmone pinned this issue May 23, 2021
@tajmone tajmone unpinned this issue Jul 29, 2021
tajmone added a commit that referenced this issue Jul 30, 2021
@tajmone
Author Guide: Switch to Highlight
baa77c8 
The "Author's Guide" now switches syntax highlighter from highlight.js
to Highlight. (closes #51, see #49)

It can't use Rouge is because of highlight marking in code blocks.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tajmone tajmone

Labels
👑 HTML Format Issues with conversion to HTML format 🔨 Highlight Tool: Highlight (syntax highlighter) ⭐ syntax highlighting Topic: Syntax Highlighting ⚠️ important Priority: High
Projects
None yet
Milestone
Highlight Integration
Development

No branches or pull requests
1 participant
@tajmone