paparazzi/paparazzi — pull request #834 by gautierhattenberger (2014-09-16 20:49:10+00:00)
Title: Paparazzi center settings improvements

A few improvements to the settings selection in paparazzi center:
* add a check box to select/unselect settings without adding/removing each time
* auto-load settings from modules description (#23)

Main drawback: if you switch back very often with an older configuration, the compilation will fail on unselected settings (the general settings only, auto-loaded will be ignored)