Configuration editor: format option values