laurent [Thu, 22 Sep 2011 15:33:31 +0200] rev 563
- 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
laurent [Thu, 22 Sep 2011 10:56:52 +0200] rev 562
Fix bug on Windows after removing "Enable Undo/Redo" menu item
laurent [Tue, 20 Sep 2011 23:59:49 +0200] rev 561
Fixing bug in Variable Panel when pressing Add,Delete,Up or Down button while a cell editor in variable grid is active