3 Commits

Author	SHA1	Message	Date
Hombre	db306ccfed	Solving issue 2846: "Wavelet - expanding a sub-tool adds a history item"	2015-07-23 20:26:22 +02:00
jdc	a1ca02fd67	Added Wavelet sub-tool enable/disable buttons, and some bug fixes. Issue 2831	2015-07-14 20:44:27 +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