Merge pull request #110 from Simon-Mong/patch-31

Correct something in gui.js
newthree
Michael Aschauer 2021-09-21 16:05:29 +02:00 zatwierdzone przez GitHub
commit 255d30066e
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -23,7 +23,7 @@ IDE_Morph.prototype.init = function(isAutoFill) {
//this.isAnimating = false;
this.paletteWidth = 250; // initially same as logo width
//MorphicPreferences.globalFontFamily = 'Sans, Helvetica, Arial';
this.cloud = new BeetleCloud('/api', this);dxf
this.cloud = new BeetleCloud('/api', this);
};
// change logo