3 Commits

Author	SHA1	Message	Date
Hombre	fe2d8b1c68	Handling the Slim mode	2015-08-15 12:54:30 +02:00
Morgan Hardwood	56a0805bc7	Gtk3 by Hombre, issue 2807	2015-08-12 16:07:19 +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