11 Feb
2021
11 Feb
'21
9:25 p.m.
On Thu, 2021-02-11 at 19:01 +0100, João Pais wrote:
you mean something like [jmmmp/jp.menu]?
Exactly. Thanks for the pointer. That's definitely what I was looking for. Picking something can be done really quick, which is nice. One small caveat: I personally find it confusing, when the drop-down covers the selected item. I'd place the drop-down below the selected item, so that selected item is always shown. Maybe it's just a matter of taste?
I was going to open an issue about not using any [declare]s, but I couldn't find a public repo for jmmmp. Is there one?
Roman