JuliaDocs/Documenter.jl

Front end setting to make page full-width

Open

#1,168 opened on 2019年10月29日

GitHub で見る
 (2 comments) (0 reactions) (0 assignees)Julia (513 forks)batch import
Format: HTMLhelp wanted

Repository metrics

Stars
 (910 stars)
PR merge metrics
 (平均マージ 16d 9h) (30d で 3 merged PRs)

説明

Sometimes the default max width of the main body column is too narrow, so it would be good if there was a way to make it wider, but without compromising readability in most cases.

  • Have an option in the new settings dialog to disable the max-width on the main <article> tag. Implementation: apply a class e.g. <html> when that is toggled, similar to how we handle themes. Store the option in Web Storage.

  • Also maybe have a keyboard shortcut for this, so that it would be easy to toggle (for people who know/want this). However, it's not really something you could rapidly toggle on-off I think since the reflow of the page will throw you to a different section of the page if you are somewhere in the middle.

Based on a suggestion by @KristofferC on Slack, writing it up so it would not get completely forgotten.

コントリビューターガイド