Settings raw editor

Settings Editor

allows you to edit the settings in JSON format.