403 Commits

Author	SHA1	Message	Date
torger	c5546d2120	Issue 2854: reverted recent highlight behavior	2015-07-26 18:47:39 +02:00
torger	21c7a483a4	Issue 2843: fixed newly introduced highlight clipping issue	2015-07-15 20:36:42 +02:00
torger	d5ca351c20	Issue 2134: removed obsolete raw highlight preservation setting from GUI (still left in procparams for backwards compatilibility)	2015-07-10 12:00:36 +02:00