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
When I use the shortcut "replace" (Ctrl+Alt gr+7) (AZERTY keyboard) in nano, it does not work and deletes a previous character.
The same shortcut in gnome-terminal works fine.
The text was updated successfully, but these errors were encountered:
This issue has been automatically marked as stale because it has not had recent activity. It will be closed in two weeks unless you comment.
Thank you for your contributions.
When I use the shortcut "replace" (Ctrl+Alt gr+7) (AZERTY keyboard) in nano, it does not work and deletes a previous character.
The same shortcut in gnome-terminal works fine.
The text was updated successfully, but these errors were encountered: