Skip to content

gui_toolkit 0.28.0

Choose a tag to compare

View all tags
@sachahjkl sachahjkl released this 25 Oct 12:24
· 615 commits to master since this release
v0.28.0
This tag was signed with the committer’s verified signature.
sachahjkl Sacha
SSH Key Fingerprint: Jn721iAX7FFyZYdwo10ES1O41ssKkn7OJ9nHRT5Co2k
Verified
Learn about vigilant mode.
e676cab
This commit was signed with the committer’s verified signature.
sachahjkl Sacha
SSH Key Fingerprint: Jn721iAX7FFyZYdwo10ES1O41ssKkn7OJ9nHRT5Co2k
Verified
Learn about vigilant mode.

0.27.0 is reserved for the fixes of the review branch.

Added

  • Boxes with leaning sides (ui.Box.slant, platform.Slant): a clickable box can say that its left and right edges lean (how far each is moved inwards at its top and at its bottom). Only that trapezoid is hit (ui.box_contains; the topmost box under the pointer still wins), and over an integrated title bar it is a slanted hole (platform.Chrome_Regions.slanted, platform.Slanted_Region, platform.slanted_contains; hit_test_chrome answers .Client inside it), so that the corners a trapezoid tab does not cover keep dragging the window. For tab strips drawn with sloped sides. Tests in tests/chrome.
Assets 2
Loading