You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If you press either of them when selecting a label, nothing happens. Pressing them the second time works though, and the plugin jumps to the labeled target, as it should. Maybe it has something to do with a and i being text object openers, but I have no further idea about what could be the cause of this behaviour. After all, we just getchar() an input, and that's all. Interestingly, when switching to the secondary (blue) group, the problem disappears.
The text was updated successfully, but these errors were encountered:
If you press either of them when selecting a label, nothing happens. Pressing them the second time works though, and the plugin jumps to the labeled target, as it should. Maybe it has something to do with
a
andi
being text object openers, but I have no further idea about what could be the cause of this behaviour. After all, we justgetchar()
an input, and that's all. Interestingly, when switching to the secondary (blue) group, the problem disappears.The text was updated successfully, but these errors were encountered: