path: root/js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html