merge new tools #244

Merged
widlam merged 55 commits from master into release 2023-09-05 11:15:22 +02:00
Showing only changes of commit dc8ed79230 - Show all commits

View File

@@ -73,6 +73,7 @@ function selectDefaultEngine() {
function selectDefaultVersion() { function selectDefaultVersion() {
const lastVersion = versionsForCurrentEngine.value.length - 1 const lastVersion = versionsForCurrentEngine.value.length - 1
version.value = versionsForCurrentEngine.value[lastVersion]; version.value = versionsForCurrentEngine.value[lastVersion];
emitVersionChange();
} }
function process() { function process() {