debian/plcopeneditor.desktop
author laurent
Thu, 22 Sep 2011 15:33:31 +0200
changeset 563 3f92a5e18804
parent 453 d01e025b868d
permissions -rw-r--r--
- Fixing editing graphic element (handles, rubberband and highlight) in graphic editor in order to make them keep the same size whatever the zoom factor applied to graphic editor
- Replace default pen by a pen with miter join property to draw graphic elements without round corner in high zoom factor
- Reduce the default size of fonts in graphic editor
[Desktop Entry]
Encoding=UTF-8
Name=PLCOpen IEC-61131-3 Editor
Name[fr]=Editeur PLCOpen IEC-61131-3
Comment=Editor for all 5 of the IEC-61131-3 languages
Comment[fr]=Editeur pour les 5 langages de l'IEC-61131-3
Exec=/usr/bin/plcopeneditor
Icon=/usr/share/plcopeneditor/Images/poe.png
Terminal=false
MultipleArgs=false
Type=Application
Categories=Application;Development;
StartupNotify=true