-
Notifications
You must be signed in to change notification settings - Fork 3
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
Hotkey for swich off double ESC #1382
Comments
In 4.7-pre1 now just bugfixing (and just critical bugs). |
|
I don't think it is a good idea to set hotkeys for such features. As for me it is enough a checkbox in options dialog. And we also need to be able to set any key for any suitable action through config.
P.S. Of course I understand you wish an enhancement now, and configuring of keys is a long play game. |
maybe need add only action without hotkey or command line option... |
Checkbox in options sounds good. |
Hotkey for hotkey? :)
Is this really needed? How often do you change the behaviour of ESC (per day, week, month)?
This once-made operation. Hotkey not needed. Checkbox in 'config' dialog more sence... |
Each time when I come from the dumb terminal i need swich off old_esc_mode. |
|
|
|
|
not actual at now, we can set 'esc' mode by menu Options |
|
Important
This issue was migrated from Trac:
angel_il
(@ilia-maslakov)I'm no need funny ESC, i have alt and may use it. But anytime i'm use dummy terminals and need ESC as Meta. Swich off "funny ESC" trough ini too difficultly. If will be special hotkey for "funny ESC" mode switching it will be very convenient.
The text was updated successfully, but these errors were encountered: