merge with dev

2019-07-24 09:05:32 +02:00
parent 7d9edc4681 c5e9482a29
commit e4c4e38236
131 changed files with 452 additions and 976 deletions
--- a/rtgui/wavelet.cc
+++ b/rtgui/wavelet.cc
@@ -2752,10 +2752,6 @@ void Wavelet::adjusterChanged(Adjuster* a, double newval)
    }
 }

-void Wavelet::adjusterAutoToggled(Adjuster* a, bool newval)
-{
-}
-
 void Wavelet::enabledUpdateUI()
 {
    if (!batchMode) {