Mots-clé : souris

Debian 7 : comment changer le pointeur de souris

C’est très simple… une fois que vous avez cherché pendant longtemps :

Première solution

  1. Lancez le programme dconf-editor, et si vous êtes comme moi et que vous ne savez pas trop comment chercher via l’interface graphique, cela fonctionne tout aussi bien en ligne de commande
  2. Une fois le programme lancé, allez dans la branche org » gnome » desktop » interface
  3. Modifiez la valeur cursor-size par une valeur plus grande. Par exemple, j’ai mis 56 et ça me donne enfin un pointeur d’une taille très grossière et pratique – choisissez l’adjectif qui vous convient le mieux, pour moi les deux sont applicables

Seconde solution

  1. Téléchargez le fichier « theme ». Décompressez le.
  2. Créez un dossier ~/.icons
  3. Vérifiez que dans le dossier de votre thème il y a bien un sous dossier cursors
  4. Déplacez le thème au complet dans le dossier ~/.icons
  5. Installez gnome tweak tool comme ceci : sudo apt-get install gnome-tweak-tool
  6. Ensuite appuyez sur la touche Windows et tapez tw pour rechercher le programme Tweak
  7. Lancez le et dans la section « curseur », ouvrez la liste de sélection, et vous verrez vos nouveaux curseurs

C’est cet article qui m’a beaucoup aidé, même s’il manque des informations…
En espérant avoir fait gagner du temps… Bien sûr si vous avez des méthodes plus efficaces, rapides, ou « propres », n’hésitez pas à laisser un commentaire !

Astuce jQuery : accepter un clic une fois, une seule fois, pas de double clic

A lieu de faire

$('#mon_element').on('click', function() {
  mafonction();
} );

c’est pas « on » c’est « one » :

$('#mon_element').one('click', function() {
  mafonction();
} );

En fait une fois qu’on a cliqué sur l’élément en question, jQuery supprime l’évènement avec la fonction unbind().