migrated list watcher rendering

pull/95/head
jmoenig 2020-04-12 19:21:44 +02:00
rodzic a6cadf6df5
commit d73eb824b3
1 zmienionych plików z 4 dodań i 0 usunięć

Wyświetl plik

@ -985,3 +985,7 @@ ListWatcherMorph.prototype.show = function () {
ListWatcherMorph.uber.show.call(this);
this.frame.contents.adjustBounds();
};
// ListWatcherMorph rendering:
ListWatcherMorph.prototype.render = WatcherMorph.prototype.render;