2 Commits

Author	SHA1	Message	Date
Beep6581	5086c0dbb9	Changed gtkmacintegration-gtk2 to gtkmacintegration-gtk3, fixes #3153	2016-02-17 12:56:42 +01: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