Description du bug
Les objets (places et transitions) sont placés au mauvais endroit.
Pour une mise à l'échelle de 100%: Tout est bien.
Pour une mise à l'échelle différente de 100%, les objets sont placés au mauvais endroit.
Comment le reproduire ?
Etapes:
- Sur windows par exemple, définir la mise à l'échelle de l'écran à 125% (au lieu de 100%)
- Lancer le programme
Comportement voulu
Les objets et les clics doivent être mis à la bonne place, peu importe le facteur d'agrandissement de l'écran.
Sur quelle plateforme :
- OS: Windows
- Version de Java installée: JDK 11
- Version de l'application: v2021.03-2
Contexte additionnel
Il se peut que cela règle le problème sur MacOs. De ce fait, le #9 est peut être pas résolu encore...
Description du bug
Les objets (places et transitions) sont placés au mauvais endroit.
Pour une mise à l'échelle de 100%: Tout est bien.
Pour une mise à l'échelle différente de 100%, les objets sont placés au mauvais endroit.
Comment le reproduire ?
Etapes:
Comportement voulu
Les objets et les clics doivent être mis à la bonne place, peu importe le facteur d'agrandissement de l'écran.
Sur quelle plateforme :
Contexte additionnel
Il se peut que cela règle le problème sur MacOs. De ce fait, le #9 est peut être pas résolu encore...