fixed a url-bar refresh bug

gui.js

@@ -6230,6 +6230,7 @@ ProjectDialogMorph.prototype.rawOpenCloudProject = function (proj) {
                     myself.ide.openCloudDataString(clouddata);
                 }
             ]);
+	        location.hash = '';
             if (proj.ispublic) {
                 location.hash = '#present:Username=' +
                     encodeURIComponent(SnapCloud.username) +

history.txt

@@ -3937,6 +3937,7 @@ Translation Updates:
 180208
 ------
 * Cloud, GUI, Widgets: New Cloud API, thanks, Bernat!
+* GUI: fixed a url-bar refresh bug introduced by the new cloud mechanism
 
 
 === v4.1.2 features ===