Images/aboutlogo.png
author laurent
Thu, 22 Sep 2011 15:33:31 +0200
changeset 563 3f92a5e18804
parent 190 f37abf3ee358
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
190
f37abf3ee358 added to helpmenu : about + plcopen + plcopeneditor
greg
parents:
diff changeset
     1
(binary:image/png)