On Tue, 25 Jan 2022 13:05:48 -0800 Samuel Sieb wrote:
When was the last time you tried to use it?
A few years ago no doubt. It wasn't just the OK button. Value fields I wanted to type in were inactive, etc. This is one of my many objections to "helpful" GUI tools. At least the command line tools usually print some kind of error if you try to do something impossible, which is at least a hint compared to just refusing to let you fill in fields.