chiark / gitweb /
Don't let menu items go way over to the right.
authorSimon Tatham <anakin@pobox.com>
Thu, 28 Dec 2023 12:11:57 +0000 (12:11 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 28 Dec 2023 12:11:57 +0000 (12:11 +0000)
commit245aeea7f49b6959b019cf0285a88ce7c57c4a60
treeb8ebf96fe4beb21371d7da4664b4e8ad8bd3e11e
parent39403458bcf9f25fc4fc0ed4ce153a5ef1d5bcdb
Don't let menu items go way over to the right.

The allocation of 3/4 of padding space to the left-hand side is
intended for cases where there isn't room to put the = signs in the
middle. When there is, we should do it.
src/text.rs