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