On Wed 2020-10-14 10:22:01, Udo van den Heuvel wrote:

On 14-10-2020 10:11, Pavel Machek wrote:

...

...

It's a computer, not a disco-light or anything like that.

And you probably have numlock LED.

On the case? no way. It is on the keyboard, a separate device, and already has a function. We also have a caps lock LED and scroll lock LED there, with separate functions. I do not need 'extra' functionality for those.

...

Additional config options have costs, too, and we don't want to support gazillion config options.

That is not the issue. One should have thought about stuff beforehand.

We did. And decided this is best solution.

The non-selectability is not my fault.

It also does not affect you in any way.

Feel free to go to the mic LED discussion to see why we did it like this. Then you can come up with better solution for problem at hand.

Pavel