/js/code-editor/ui/code-editor-view-options.reel/