Fixed a rendering glitch when deleting reporters

via the context menu
dev
Jens Mönig 2016-01-22 09:23:23 +01:00
rodzic 825c5f5568
commit e4ea35132d
2 zmienionych plików z 7 dodań i 1 usunięć

Wyświetl plik

@ -156,7 +156,7 @@ DialogBoxMorph, BlockInputFragmentMorph, PrototypeHatBlockMorph, Costume*/
// Global stuff ////////////////////////////////////////////////////////
modules.blocks = '2016-January-16';
modules.blocks = '2016-January-22';
var SyntaxElementMorph;
var BlockMorph;
@ -4576,6 +4576,7 @@ ReporterBlockMorph.prototype.ExportResultPic = function () {
ReporterBlockMorph.prototype.userDestroy = function () {
// make sure to restore default slot of parent block
this.topBlock().fullChanged();
this.prepareToBeGrabbed(this.world().hand);
this.destroy();
};

Wyświetl plik

@ -2862,3 +2862,8 @@ end - bulk of 151215
160119
------
* Threads, Store: Throw an error for “obsolete” blocks instead of (forever) doing nothing (and thus often freezing and crashing). Thanks, Paul, for helping identify this!
160122
------
* Blocks: Fixed a slight rendering glitch when deleting reporters via the context menu