Skip to content

gui_toolkit 0.103.0

Choose a tag to compare

@sachahjkl sachahjkl released this 08 Nov 20:52
· 912 commits to master since this release
v0.103.0
bde033f

Added

  • site.build_docs: a documentation site from a project's Markdown: a page per document in the site's header and footer, a menu from docs/_nav.txt (folded under a "Documentation" toggle on a phone, no script), a search with no server, collapsible groups, a breadcrumb, the previous and next pages, "On this page", the old addresses sent on. site.check_links checks a built site's links without a browser; site.check also checks the documentation pages at 390 px. Wren's documentation generator moved here; the toolkit's Docs section uses it.

Changed

  • site.render_markdown replaces markdown_html: one converter (Wren's, which reads more: blockquotes, HTML blocks, aligned tables, autolinks, titles, heading anchors, unique ids), with coloured code blocks (site.write_code_block, site.Code_Language), the headings and the plain text of a document. A | in a code span no longer splits a table cell, two trailing spaces are a hard break, and a title keeps a _ inside a word.