#1 Le 01/04/2011, à 09:09
- merde
modification des rêgles de sélection à la souris
hello
je suis sur Gnome, et il y a un truc que j'aimerai bien paramétrer :
lorsque je double-clique sur un mot pour le sélectionner, les "_" ne sont pas considérés comme faisant partie du mot... du coup je suis obligé de sélectionner "manuellement". Comment modifier les rêgles de gestion pour choisir les caractères considérés comme faisant partie du mot ? Certaines applis explicitent ces paramétrages, mais pas tous, et je pense bien que gnome doit avoir un truc caché pour ça.
merci d'avance !
Que serait l'humanité aujourd'hui s'il y avait eu un copyright sur le feu?
16586° Ubuntero Français
Hors ligne
#2 Le 01/04/2011, à 10:20
- merde
Re : modification des rêgles de sélection à la souris
j'ai en fait bien peur que ça ne soit pas possible :
https://help.ubuntu.com/community/HowToReadline
"If you use a Bash shell, you might know it uses the Readline library for editing command lines. Many other programs use it too."
[...]
"A word is defined by Readline to be a sequence of letters or numbers; it is not possible to change this definition."
dommage...
Que serait l'humanité aujourd'hui s'il y avait eu un copyright sur le feu?
16586° Ubuntero Français
Hors ligne