update widgets version

dev
Jens Mönig 2016-05-02 13:04:47 +02:00
rodzic f18026722f
commit 5ce2b13212
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -74,7 +74,7 @@ HTMLCanvasElement, fontHeight, SymbolMorph, localize, SpeechBubbleMorph,
ArrowMorph, MenuMorph, isString, isNil, SliderMorph, MorphicPreferences,
ScrollFrameMorph*/
modules.widgets = '2015-July-27';
modules.widgets = '2016-May-02';
var PushButtonMorph;
var ToggleButtonMorph;