Closed mwillsey closed 4 years ago
Does anyone have a workaround for this? It is a very crippling bug when working with agda where almost everything you write requires writing unicode.
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Please let us know if this issue is still valid!
Description :octocat:
describe-input-method
is not showing the possible shortcuts.Reproduction guide :beetle:
describe-input-method
TeX
)Observed behaviour: :eyes: :broken_heart: There's no listing of the shortcuts.
Expected behaviour: :heart: :smile: There should be listing of shortcuts provided by the input method.
emacs -q
does this.System Info :computer: