removed an obsolete function

pull/95/head
jmoenig 2020-06-25 11:43:05 +02:00
rodzic bb66bdce52
commit 8eea66f1ba
2 zmienionych plików z 2 dodań i 12 usunięć

Wyświetl plik

@ -8,7 +8,7 @@
<script src="src/symbols.js?version=2020-06-17"></script>
<script src="src/widgets.js?version=2020-05-06"></script>
<script src="src/blocks.js?version=2020-06-24"></script>
<script src="src/threads.js?version=2020-06-24"></script>
<script src="src/threads.js?version=2020-06-25"></script>
<script src="src/objects.js?version=2020-06-20"></script>
<script src="src/gui.js?version=2020-06-24"></script>
<script src="src/paint.js?version=2020-05-17"></script>

Wyświetl plik

@ -61,7 +61,7 @@ StageMorph, SpriteMorph, StagePrompterMorph, Note, modules, isString, copy, Map,
isNil, WatcherMorph, List, ListWatcherMorph, alert, console, TableMorph, Color,
TableFrameMorph, ColorSlotMorph, isSnapObject, newCanvas, Symbol, SVG_Costume*/
modules.threads = '2020-June-24';
modules.threads = '2020-June-25';
var ThreadManager;
var Process;
@ -3589,16 +3589,6 @@ Process.prototype.hyperZip = function (baseOp, a, b) {
return baseOp(a, b);
};
Process.prototype.dimensions = function (data) {
var dim = [],
cur = data;
while (cur instanceof List) {
dim.push(cur.length());
cur = cur.at(1);
}
return dim;
};
Process.prototype.isMatrix = function (data) {
return data instanceof List && data.at(1) instanceof List;
};