#7502 closed defect (fixed)
F10 ne marche pas après avoir appuyé sur F11
| Reported by: | anonymous | Owned by: | team |
|---|---|---|---|
| Priority: | normal | Component: | Core |
| Version: | Keywords: | shortcut, cadastre, fullscreen | |
| Cc: |
Description
A l'ouverture il y a un nouveau message pur dire que pour le cadastre F11 a été remplacé par F10. Le problème est que F10 ne fait pas ça mais ouvre le menu Fichier. C'est très gênant car maintenant il faut utiliser le menu à chaque fois qu'on veut télécharger un bout de cadastre.
Pourquoi avoir enlevé un raccourci qui existait depuis si longtemps ?
Je propose de remettre F11 pour le cadastre et d'utiliser Ctrl+F pour mettre en plein écran.
Attachments (0)
Change History (6)
comment:1 Changed 15 months ago by Don-vip
- Keywords shortcut cadastre added
- Priority changed from critical to normal
comment:2 follow-up: ↓ 4 Changed 15 months ago by anonymous
- Priority changed from normal to critical
Je suis sous Fedora 16.
Le raccourci fonctionne bien au démarrage mais après avoir appuyé sur F11 (par habitude) le raccourci F10 ne marche plus. Il faut alors redémarrer JOSM pour le récupérer.
comment:3 Changed 15 months ago by skyper
See also #5799
comment:4 in reply to: ↑ 2 Changed 15 months ago by Don-vip
- Keywords fullscreen added
- Priority changed from critical to normal
- Summary changed from F10 ne marche pas to F10 ne marche pas après avoir appuyé sur F11
Replying to anonymous:
Le raccourci fonctionne bien au démarrage mais après avoir appuyé sur F11.
OK effectivement, j'ai pareil sous Windows, le passage en plein écran semble désactiver le raccourci F10, je regarde ça.
Par contre arrête de modifier la priorité, ce n'est absolument pas un bug critique, et changer la priorité ne corrigera pas les choses plus vite.
comment:5 Changed 15 months ago by Don-vip
- Resolution set to fixed
- Status changed from new to closed
In 5078/josm:
comment:6 Changed 15 months ago by anonymous
Merci et concernant la priorité je ne pense pas y avoir touché.
Ce raccourci a été modifié, comme beaucoup d'autres, suite au travail d'homogénéisation et de répartition des raccourcis clavier dans la dernière version stable de JOSM afin de résoudre les nombreux conflits de raccourcis entre les différents plugins:
Ce ticket résume la problématique et les actions qui ont été faites à ce sujet:
http://josm.openstreetmap.de/ticket/7226
Pour te donner une idée, voici la liste complète de tous les raccourcis utilisés:
http://josm.openstreetmap.de/wiki/DevelopersGuide/ShortcutsList
Peux-tu poster les informations système de ton installation ? (Aide -> Rapport d'état). Je n'ai aucun souci avec la touche F10 de mon côté.