Skip to content

gui_toolkit 0.100.0

Choose a tag to compare

View all tags
@sachahjkl sachahjkl released this 08 Nov 17:32
· 919 commits to master since this release
v0.100.0
This tag was signed with the committer’s verified signature.
sachahjkl Sacha
SSH Key Fingerprint: Jn721iAX7FFyZYdwo10ES1O41ssKkn7OJ9nHRT5Co2k
Verified
Learn about vigilant mode.
cccf0ac
This commit was signed with the committer’s verified signature.
sachahjkl Sacha
SSH Key Fingerprint: Jn721iAX7FFyZYdwo10ES1O41ssKkn7OJ9nHRT5Co2k
Verified
Learn about vigilant mode.

Added

  • config.Search: the search of a settings UI made of pages (search_begin, search_page, search_shows, searching): which preferences a query shows (every word in the name, the title or the description; a page whose title matches shows all of it) and each page's heading before its first match. The UI keeps its own layout.
Assets 2
Loading