Rob Cutmore d43315fe4e Add script editor line wrapping (Feature #2926) ...

Adds line wrapping for script editor and associated entry in settings
window. No line wrapping remains the default.

2016-01-28 06:28:31 -05:00

..

doc

Fix some defects reported by Coverity CI

2016-01-21 16:08:04 +01:00

filter

Remove empty line at the beginning of files

2015-08-18 23:06:12 +02:00

prefs

Add script editor line wrapping (Feature #2926)

2016-01-28 06:28:31 -05:00

tools

Fix some defects reported by Coverity CI

2016-01-21 16:08:04 +01:00

world

Fix some defects reported by Coverity CI

2016-01-21 16:08:04 +01:00