{{range $index, $theme := .editorThemes}} {{end}}
{{.i18n.file}}
    • {{.i18n.create_file}}
    • {{.i18n.create_dir}}
    • {{.i18n.delete}}
    • {{.i18n.rename}}
    • {{.i18n.find_in_files}}
    • {{.i18n.refresh}}
    • {{.i18n.git_clone}}
    • {{.i18n.import}}
    • {{.i18n.export}}
    • {{.i18n.open}}
    • {{.i18n.delete}}
    • {{.i18n.rename}}
    • {{range .crossPlatforms}}
    • {{.}}
    • {{end}}
    • {{.i18n.export}}
    • {{.i18n.decompress}}
    • {{.i18n.close}}
    • {{.i18n.close_all_files}}
    • {{.i18n.close_other}}
    • {{.i18n.copy_file_path}}
    {{.i18n.outline}}
    • {{.i18n.clear}}
    {{.i18n.output}}
    {{.i18n.search}}
    {{.i18n.notification}}
    {{.i18n.delete}} ?