|
Publicité ' | |||||||||||||||||||||||
|
|
#1 |
|
Candidat au titre de Membre du Club
![]() Inscription : novembre 2010 Messages : 28 ![]() |
Bonjour,
Je voudrais savoir s'il est possible de changer de fenetre (output, log, editor) avec un raccourci clavier. Une sorte d'equivalent au Alt+TAB pour changer de fenetre dans l'environnement windows. Merci beaucoup. |
|
|
00
|
|
|
#2 |
![]() ![]() Samir SELMANEConsultant en Business Intelligence Inscription : février 2011 Messages : 1 006 ![]() |
Bonjour,
c'est touches ( Ctrl + MAJ+ TABULATION) . |
|
|
00
|
|
|
#3 |
|
Candidat au titre de Membre du Club
![]() Inscription : novembre 2010 Messages : 28 ![]() |
Merci bp.
|
|
|
00
|
|
|
#4 | ||
|
Membre éprouvé
![]() Rémi Bousquetresponsable adjoint service stat Inscription : mars 2009 Messages : 334 ![]() |
Il y a plus pratique (enfin, je trouve)
Tu peux affecter des raccourcis aux touches F5 à F7 (par exemple). F5 : wpgm;zoom on --> Fenêtre éditeur amélioré F6 : log;zoom on --> Fenêtre log F7 : out;zoom on --> Fenêtre output Tu peux le faire soit en ouvrant le fichier de raccourci clavier, soit en lançant les commandes suivantes (effet équivalent) : Code :
L'avantage de cette solution par rapport au Ctrl + MAJ+ TABULATION, c'est : 1- que tu vas directement à la fenêtre où tu veux aller 2- que la fenêtre s'ouvre automatiquement "en grand" avec la commande zoom on 3- F5 permet de circuler entre les différents programmes ouverts dans ta session |
||
|
|
00
|
Copyright © 2000-2012 - www.developpez.com