commit | 12255411f27e2c937334b1d84671ae46d5ef3c0c | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue May 28 09:50:54 2019 +0000 |
committer | nicm <nicm> | Tue May 28 09:50:54 2019 +0000 |
tree | 9dfcbecc432316a2fe845db9471e8d8c06bc8570 | |
parent | 799a154b91c6e6ff7dbe62b67272f09578c99914 [diff] |
Allow menu items to be disabled by putting a - at the start of their name, rather than just including #[dim] which still allowed them to be chosen.