Skip to content

gui_toolkit 0.119.0

Choose a tag to compare

@sachahjkl sachahjkl released this 09 Nov 14:31
· 919 commits to master since this release
v0.119.0
9bd878d

Added

  • Web addresses in plain text become links: ui.rich_links(text, style, &runs) turns a string into rich runs whose http:// and https:// addresses are links in the theme's link colour, underlined, without the sentence's closing marks around them (ui.web_address_len).