Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Implementing \entername #47

Open
mathieu2L opened this issue Aug 13, 2017 · 5 comments
Open

Implementing \entername #47

mathieu2L opened this issue Aug 13, 2017 · 5 comments

Comments

@mathieu2L
Copy link

It could be usefull to be able to change the text for \enter (and maybe other keys) the same way as it is possible for \ctrl, \del and \SPACE. (Although it is not difficult to get around using \keys{MyEnterName}...)

@tweh
Copy link
Owner

tweh commented Aug 13, 2017

You could do this with something like

\renewcommand{\enter}{Enter}

I.e. overwriting my definition. I think this must not be part of the package itself, however maybe this could be added to the manual as a hint.

@mathieu2L
Copy link
Author

Works for me. Thanks!
(It's just that it felt strange to have \ctrlname, \delname and \spacename but not their counterpart for \enter or \esc.)

@tweh
Copy link
Owner

tweh commented Aug 14, 2017

Well it is because I only thought of ”Enter” as a symbol. But you are right, it is a bit inconsistent. I’ll leave the issue open and think about this, when I have some time – but don’t expect this to happen soon ;-)

@mathieu2L
Copy link
Author

ok. It makes sense. No rush is needed: this is quite easy to make on its own :-)
Anyway, thanks for the quick answers!

@tweh
Copy link
Owner

tweh commented Aug 18, 2017

You’re welcome :-)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants