chiark / gitweb /
Give MenuKeypressLine a width reset option.
authorSimon Tatham <anakin@pobox.com>
Wed, 3 Jan 2024 06:56:05 +0000 (06:56 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 3 Jan 2024 06:56:05 +0000 (06:56 +0000)
commita6925b89316573dd0caac1f48316aab40f029ce4
tree674381b6612bcaeaa17299d6bf08457dcd82abd0
parentf63bb9d75b83d0a630e4057ee14f2491b95d69a3
Give MenuKeypressLine a width reset option.

Then when I change menu items on the fly they won't always remember
the largest width the menu has ever had.
src/text.rs