deleting project notes in the "save" dialog now also deletes them in the saved project

HISTORY.md

@@ -8,11 +8,15 @@
     * new "Database" library operating on localstore
 * **Notable Fixes:**
     * changing the type of a custom block from reporter to command in the block editor changes the prototype instead of adding another one
+    * deleting project notes in the "save" dialog now also deletes them in the saved project
 * **Translation Updates:**
     * Catalan, thanks, Joan!
     * Norwegian, thanks, Olav!
     * German
 
+### 2020-09-07
+* gui: deleting project notes in the "save" dialog now also deletes them in the saved project
+
 ### 2020-09-04
 * byob, blocks, objects: refactored scanning for message senders
 * blocks: support scanning for message receivers from inside a block editor

snap.html

@@ -11,7 +11,7 @@
         <script src="src/blocks.js?version=2020-09-04"></script>
         <script src="src/threads.js?version=2020-09-02"></script>
         <script src="src/objects.js?version=2020-09-04"></script>
-        <script src="src/gui.js?version=2020-09-01"></script>
+        <script src="src/gui.js?version=2020-09-07"></script>
         <script src="src/paint.js?version=2020-05-17"></script>
         <script src="src/lists.js?version=2020-07-01"></script>
         <script src="src/byob.js?version=2020-09-04"></script>

src/gui.js

@@ -78,7 +78,7 @@ Animation, BoxMorph, BlockEditorMorph, BlockDialogMorph, Note, ZERO, BLACK*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2020-September-01';
+modules.gui = '2020-September-07';
 
 // Declarations
 
@@ -7145,7 +7145,9 @@ ProjectDialogMorph.prototype.saveProject = function () {
     var name = this.nameField.contents().text.text,
         notes = this.notesText.text;
 
-    this.ide.projectNotes = notes || this.ide.projectNotes;
+    if (this.ide.projectNotes !== notes) {
+        this.ide.projectNotes = notes;
+    }
     if (name) {
         if (this.source === 'cloud') {
             if (detect(