Search results

Status of the Highlights.jl package?

Status: Open.

#56 In JuliaDocs/Highlights.jl;

· mortenpi opened on Oct 28, 2025

Update to new Documenter version

Status: Open.

#53 In JuliaDocs/Highlights.jl;

· ViralBShah opened on Nov 6, 2022

Type token

Status: Open.

#48 In JuliaDocs/Highlights.jl;

· FedeClaudi opened on Mar 2, 2022

Implement show methods

enhancement

Status: Open.

#47 In JuliaDocs/Highlights.jl;

· Ellipse0934 opened on Feb 13, 2022

Request: Remove hard-coded margins, padding

enhancement

help wanted

Status: Open.

#23 In JuliaDocs/Highlights.jl;

· tobydriscoll opened on Feb 15, 2019

Theme checklist

help wanted

Status: Open.

#6 In JuliaDocs/Highlights.jl;

· MichaelHatherly opened on Oct 30, 2016

Lexer checklist

help wanted

Status: Open.

#3 In JuliaDocs/Highlights.jl;

· MichaelHatherly opened on Oct 19, 2016