Closed GoogleCodeExporter closed 9 years ago
In my case it is bigger.
Original comment by gilbertoca
on 4 Oct 2013 at 6:05
Attachments:
fixed in r798
in v12.2 you can configure the size of the properties in the options
Original comment by AFDiaX
on 13 Nov 2013 at 9:15
Original issue reported on code.google.com by
Alex.Kos...@gmail.com
on 20 Aug 2012 at 7:38