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
we're currently using hydra, which is not really made for dynamic menus, and is hence a hack. it's not very maintainable, specially with the new features we wish to provide, and doesn't handle large number of senses well (see #136).
we're currently using hydra, which is not really made for dynamic menus, and is hence a hack. it's not very maintainable, specially with the new features we wish to provide, and doesn't handle large number of senses well (see #136).
related to #155, #136, #129
this solution could be a general solution for the provision of dynamic menus in elisp; we could use it to pick lemmas in this tool too.
The text was updated successfully, but these errors were encountered: