feat: 文件编辑器增加 python 语言 (#595)

This commit is contained in:
zhengkunwang223 2023-04-12 15:28:31 +08:00 committed by GitHub
parent d6dcb59ab7
commit c63897ded4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 48 additions and 48 deletions

View file

@ -19,62 +19,62 @@ export const Mimetypes = new Map([
export const Languages = [
{
label: 'plaintext',
value: 'plaintext',
value: ['txt'],
},
{
label: 'json',
value: 'json',
},
{
label: 'go',
value: 'go',
},
{
label: 'html',
value: 'html',
},
{
label: 'javascript',
value: 'javascript',
},
{
label: 'java',
value: 'java',
},
{
label: 'kotlin',
value: 'kotlin',
value: ['json'],
},
{
label: 'markdown',
value: 'markdown',
},
{
label: 'mysql',
value: 'mysql',
},
{
label: 'php',
value: 'php',
},
{
label: 'redis',
value: 'redis',
},
{
label: 'shell',
value: 'shell',
},
{
label: 'sql',
value: 'sql',
value: ['md'],
},
{
label: 'yaml',
value: 'yaml',
value: ['yml', 'yaml'],
},
{
label: 'php',
value: ['php'],
},
{
label: 'sql',
value: ['sql'],
},
{
label: 'go',
value: ['go'],
},
{
label: 'html',
value: ['html'],
},
{
label: 'javascript',
value: ['js'],
},
{
label: 'java',
value: ['java'],
},
{
label: 'kotlin',
value: ['kt'],
},
{
label: 'python',
value: ['py'],
},
{
label: 'redis',
value: ['redis'],
},
{
label: 'shell',
value: ['sh'],
},
{
label: 'css',
value: 'css',
value: ['css'],
},
];

View file

@ -15,7 +15,7 @@
</el-form-item>
<el-form-item :label="$t('file.language')">
<el-select v-model="config.language" @change="changeLanguage()">
<el-option v-for="lang in Languages" :key="lang.label" :value="lang.value" :label="lang.label" />
<el-option v-for="lang in Languages" :key="lang.label" :value="lang.label" :label="lang.label" />
</el-select>
</el-form-item>
<el-form-item :label="$t('file.eol')">

View file

@ -454,8 +454,8 @@ const openCodeEditor = (row: File.File) => {
if (row.extension != '') {
Languages.forEach((language) => {
const ext = row.extension.substring(1);
if (language.value == ext) {
fileEdit.language = language.value;
if (language.value.indexOf(ext) > -1) {
fileEdit.language = language.label;
}
});
}