Bonjour à tous,
J’ai remarqué depuis peu que certains raccourcis clavier qui marchent sur Windows ne marchent pas sur Linux.
Par exemple : le raccourcis clavier pour insérer une puce est Maj + F12, mais cela ne marche pas sur ma distribution Linux (Ubuntu 19.10). J’ai observé le même comportement sur Ubuntu 18.04 et sur Manjaro.
Comment puis-je réactiver ce raccourcis ? Faut-il installer un packet supplémentaire ?
Par avance merci,
Mathmématix