Currently only the fontsize of the property panel can be customized
Perhaps there are further useful customizations which should be placed in the
options like:
* enable wordwrap
* enable linenumber
Original issue reported on code.google.com by AFDiaX on 17 Nov 2014 at 8:20
Original issue reported on code.google.com by
AFDiaX
on 17 Nov 2014 at 8:20