public Editor settingsEditor ;

Descripción

Editor providing UI to modify the settings.