diff options
author | Sébastien Helleu <flashcode@flashtux.org> | 2016-05-06 23:10:00 +0200 |
---|---|---|
committer | Sébastien Helleu <flashcode@flashtux.org> | 2016-05-14 09:42:57 +0200 |
commit | c2c3ecb3f76c4ffb84290e56b18d15aedb3b6652 (patch) | |
tree | e488f353f12c93f2147e361c3b58c98fedc8a15d /doc/fr | |
parent | 4180ddff0f1289dba9a0523914f182011898f174 (diff) | |
download | weechat-c2c3ecb3f76c4ffb84290e56b18d15aedb3b6652.zip |
doc: fix style in tip about mouse events (user's guide) (issue #722)
Diffstat (limited to 'doc/fr')
-rw-r--r-- | doc/fr/weechat_user.fr.asciidoc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/fr/weechat_user.fr.asciidoc b/doc/fr/weechat_user.fr.asciidoc index 6ad298682..29e3b65d8 100644 --- a/doc/fr/weechat_user.fr.asciidoc +++ b/doc/fr/weechat_user.fr.asciidoc @@ -1387,9 +1387,9 @@ Exemples d'évènements : [TIP] Lors de l'association d'une touche dans le contexte "mouse", il est possible -d'adresser plusieurs évènements en utilisant `*` au début ou la fin du nom, -par exemple `button1-gesture-*` qui correspond à n'importe quel geste effectué -avec le bouton gauche. +d'adresser plusieurs évènements en utilisant `+*+` au début ou la fin du nom, +par exemple `+button1-gesture-*+` qui correspond à n'importe quel geste +effectué avec le bouton gauche. [TIP] Vous pouvez trouver le nom de l'évènement avec la commande `/input grab_mouse` |