Outils pour utilisateurs
tips_informatiques:linux:soft:gedit:gedit
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision | Révision précédente | ||
|
tips_informatiques:linux:soft:gedit:gedit [2009/06/22 15:17] nico créée |
tips_informatiques:linux:soft:gedit:gedit [2009/06/22 00:00] (Version actuelle) |
||
|---|---|---|---|
| Ligne 18: | Ligne 18: | ||
| </code> | </code> | ||
| - | avec //Entrée// = document actuel et //Sortie// = Remplacer le document actuel | + | avec //Entrée// = document actuel et //Sortie// = Remplacer le document actuel et //Touche de raccourci// = le raccourci clavier désiré |
tips_informatiques/linux/soft/gedit/gedit.1245676672.txt.gz · Dernière modification: 2009/06/22 00:00 (modification externe)
Outils de la page
