5 ms·

It seems your right alt key is actually the AltGr key. I didn't explicitly support AltGr in Jwno, so it freaked out. Sorry for the confusion. I think switching

• weeb 1y ago
  Thanks, that's it. I really like 'gradually walk the UI tree', though I'm struggling a bit with the thing I want being obscured by the label (and me not remembering what was there). An offset would be nice, though I'm sure it's not easy to define a heuristic that works in all places. The first thing I tried was in my browser, I asked for all the buttons and it labelled the 'x' to close each tab, but where the labels were laid out it just looked like an inviting right-aligned label on the clickable tabs themselves. Lost a few tabs before I realised, because you also don't see any feedback on the click since any UI feedback is hidden by the label. Hmm. Food for thought.
  • agentkilo 1y ago
    > An offset would be nice, though I'm sure it's not easy to define a heuristic that works in all places. I agree. I considered dynamic offsets, in an effort to declutter the labels, but found it even more confusing. Maybe I should do more experiments on this. > but where the labels were laid out it just looked like an inviting right-aligned label on the clickable tabs themselves The labels are left-aligned by default (except in `frame-hinter`). I think you can try some combinations of the `:anchor` and `:show-highlights` options[1] to see if they work better for you. [1]: https://agent-kilo.github.io/jwno/ref/built-in-modules/jwno--ui-hint.html#:ui-hint-Command https://agent-kilo.github.io/jwno/ref/built-in-modules/jwno-... Edit: Wrong link