K 10 svn:author V 8 olivierd K 8 svn:date V 27 2016-03-13T15:34:52.738837Z K 7 svn:log V 203 Add a backend to GSettings when GTK3 option is set. Otherwise configuration will not be saved. With GTK+ 2 GUI toolkit, preferences seem preserved each new session. Obtained from: Xfce devel repository END