- 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

     1

.project

     2

     3

syntax: regexp

     4

\.pyc$

     5

syntax: regexp

     6

^xmlclass$

     7

syntax: regexp

     8

^\.settings.*$