Patrick Valsecchi 91e4b24a39 Better reading/writting of editor widget config.
Avoid saving config parameters that are not set and support not
having them in the XML.
2016-11-07 09:00:17 +01:00
..
2016-10-01 17:58:12 +02:00
2016-09-21 09:12:54 +10:00
2016-05-14 00:21:50 +02:00
2016-09-21 23:30:04 +02:00
2016-09-21 09:12:54 +10:00