record unsaved changes in keyboard entry mode

pull/95/head
jmoenig 2020-12-22 14:31:25 +01:00
rodzic 2a7b98b7ba
commit 51dd86a8ea
2 zmienionych plików z 3 dodań i 3 usunięć

Wyświetl plik

@ -10,7 +10,7 @@
<script src="src/widgets.js?version=2020-10-06"></script>
<script src="src/blocks.js?version=2020-12-22"></script>
<script src="src/threads.js?version=2020-12-22"></script>
<script src="src/objects.js?version=2020-12-20"></script>
<script src="src/objects.js?version=2020-12-22"></script>
<script src="src/gui.js?version=2020-12-22"></script>
<script src="src/paint.js?version=2020-05-17"></script>
<script src="src/lists.js?version=2020-12-01"></script>

Wyświetl plik

@ -84,7 +84,7 @@ BlockEditorMorph, BlockDialogMorph, PrototypeHatBlockMorph, BooleanSlotMorph,
localize, TableMorph, TableFrameMorph, normalizeCanvas, VectorPaintEditorMorph,
AlignmentMorph, Process, WorldMap, copyCanvas, useBlurredShadows*/
modules.objects = '2020-December-20';
modules.objects = '2020-December-22';
var SpriteMorph;
var StageMorph;
@ -3310,7 +3310,7 @@ SpriteMorph.prototype.searchBlocks = function (
scriptFocus.insertBlock(selection);
}
if (ide) {
ide.hasUnsavedEdits = true;
ide.recordUnsavedChanges();
}
} else {
search = searchBar.getValue();