10 Commits

Author	SHA1	Message	Date
Marc Zinnschlag	cf9fa0e0e9	first batch of changing over user settings usage to the new system	2015-12-12 14:49:16 +01:00
scrawl	67bd6cd708	Remove empty line at the beginning of files ... git ls-files -z | xargs -0 sed -i '1{/^$/d}'	2015-08-18 23:06:12 +02:00
cc9cii	9cbda0ffad	Allow users to select syntax highlighting colours. Should resolve Feature #2507.	2015-05-29 22:20:43 +10:00
Scott Howard	e2ef8c4022	fix -Wnewline-eof warnings	2015-03-11 10:54:45 -04:00
Marc Zinnschlag	ea4cd94c25	syntax highlighter modes	2014-08-24 17:56:20 +02:00
Marc Zinnschlag	8d4f4e395f	update syntax highlighting when ID list changes	2013-09-19 14:26:09 +02:00
Marc Zinnschlag	9c751ae370	separate highlight colour for IDs	2013-09-19 12:30:42 +02:00
Marc Zinnschlag	78f7f80fc3	configured script highlighting with extensions	2013-09-19 08:58:27 +02:00
Marc Zinnschlag	f17cebde0a	syntax colouring for comments	2013-04-11 10:50:35 +02:00
Marc Zinnschlag	74145410f2	basic syntax highlighting in script subview	2013-04-10 22:49:22 +02:00