Insérer / remplacer la touche de raccourci dans Jupyter
Qu'est-ce que la touche de raccourci Jupyter pour basculer entre le mode d'insertion et de remplacement lors de l'édition?
Je dois continuer à le frapper par accident et je ne peux pas désactiver le mode d'écrasement. J'ai regardé la liste des raccourcis dans Jupyter et en ligne, mais je n'ai pas trouvé de correspondance. Je travaille sur Firefox sur une machine virtuelle Linux fonctionnant sur Mac.
Enfin, j'ai trouvé le problème: c'était un problème lié à l'activation de Numlock. Comme Numlock n'était pas activé, la touche 0 du clavier numérique faisait office de bascule pour le mode insertion.
Pour activer Numlock, j'ai dû installer numlockx, puis modifier les préférences de la fenêtre de connexion pour l'activer, par exemple voir https://unlockforus.com/numlock-linux-mint/ .
FWIW, sur un Macbook sous Linux, fn + return bascule le mode d'insertion.
Pour moi, fn + insert a résolu le problème.
La clé d'insertion sous Linux devrait la basculer.
Pour Windows: appuyez sur les touches fn + insert