Only enable input caching for blocks

pull/3/merge
Jens Mönig 2015-03-09 07:39:51 +01:00
rodzic 802ace18d1
commit 31ea6f6030
2 zmienionych plików z 6 dodań i 13 usunięć

Wyświetl plik

@ -340,7 +340,7 @@ SyntaxElementMorph.prototype.setScale = function (num) {
};
SyntaxElementMorph.prototype.setScale(1);
SyntaxElementMorph.prototype.isCachingInputs = true;
SyntaxElementMorph.prototype.isCachingInputs = false;
// SyntaxElementMorph instance creation:
@ -1943,6 +1943,7 @@ BlockMorph.uber = SyntaxElementMorph.prototype;
// BlockMorph preferences settings:
BlockMorph.prototype.isCachingInputs = true;
BlockMorph.prototype.zebraContrast = 40; // alternating color brightness
// BlockMorph sound feedback:
@ -9228,10 +9229,6 @@ MultiArgMorph.prototype = new ArgMorph();
MultiArgMorph.prototype.constructor = MultiArgMorph;
MultiArgMorph.uber = ArgMorph.prototype;
// MultiArgMorph preferences settings
MultiArgMorph.prototype.isCachingInputs = false;
// MultiArgMorph instance creation:
function MultiArgMorph(
@ -9662,10 +9659,6 @@ ArgLabelMorph.prototype = new ArgMorph();
ArgLabelMorph.prototype.constructor = ArgLabelMorph;
ArgLabelMorph.uber = ArgMorph.prototype;
// ArgLabelMorph preferences settings
ArgLabelMorph.prototype.isCachingInputs = false;
// MultiArgMorph instance creation:
function ArgLabelMorph(argMorph, labelTxt) {

8
gui.js
Wyświetl plik

@ -69,7 +69,7 @@ SpeechBubbleMorph*/
// Global stuff ////////////////////////////////////////////////////////
modules.gui = '2015-February-28';
modules.gui = '2015-March-09';
// Declarations
@ -2269,10 +2269,10 @@ IDE_Morph.prototype.settingsMenu = function () {
addPreference(
'Cache Inputs',
function () {
SyntaxElementMorph.prototype.isCachingInputs =
!SyntaxElementMorph.prototype.isCachingInputs;
BlockMorph.prototype.isCachingInputs =
!BlockMorph.prototype.isCachingInputs;
},
SyntaxElementMorph.prototype.isCachingInputs,
BlockMorph.prototype.isCachingInputs,
'uncheck to stop caching\ninputs (for debugging the evaluator)',
'check to cache inputs\nboosts recursion',
true