tweaked backup / restore

pull/95/head
jmoenig 2020-12-21 00:15:02 +01:00
rodzic ba4edecaa4
commit 0699b8b76e
3 zmienionych plików z 7 dodań i 4 usunięć

Wyświetl plik

@ -11,6 +11,9 @@
* fixed a bug in hyperblocks
* fixed keyboard formula entry for subtraction
### 2020-12-21
* gui: tweaked backup / restore
### 2020-12-20
* gui, blocks, objects: keep track of unsaved edits

Wyświetl plik

@ -11,7 +11,7 @@
<script src="src/blocks.js?version=2020-12-20"></script>
<script src="src/threads.js?version=2020-12-19"></script>
<script src="src/objects.js?version=2020-12-20"></script>
<script src="src/gui.js?version=2020-12-20"></script>
<script src="src/gui.js?version=2020-12-21"></script>
<script src="src/paint.js?version=2020-05-17"></script>
<script src="src/lists.js?version=2020-12-01"></script>
<script src="src/byob.js?version=2020-11-27"></script>

Wyświetl plik

@ -78,7 +78,7 @@ Animation, BoxMorph, BlockEditorMorph, BlockDialogMorph, Note, ZERO, BLACK*/
// Global stuff ////////////////////////////////////////////////////////
modules.gui = '2020-December-20';
modules.gui = '2020-December-21';
// Declarations
@ -3784,10 +3784,10 @@ IDE_Morph.prototype.projectMenu = function () {
menu.addItem('Save As...', 'saveProjectsBrowser');
if (backup) {
if (!this.hasUnsavedEdits) {
menu.addItem('Restore unsaved changes', 'restore', backup);
menu.addItem('Restore unsaved project', 'restore', backup);
} else if (shiftClicked) {
menu.addItem(
'Restore unsaved changes',
'Restore unsaved project',
'restore',
backup,
new Color(100, 0, 0)