Update Antos editor: Antedit now have it own extension manager

This commit is contained in:
lxsang
2021-06-13 11:06:49 +02:00
parent 8d4191b7ec
commit e86139e202
17 changed files with 480 additions and 126 deletions

View File

@ -21,11 +21,11 @@
"name": "release"
},
{
"text": "__(Install extension from file)",
"text": "__(Install from file)",
"name": "install"
},
{
"text": "__(Install extension from URL)",
"text": "__(Install from URL)",
"name": "installFromURL"
}
]